June 25: Program

  • ICMT Keynote (09:00 - 10:30): The design and evolution of KernelF, Markus Voelter
  • ICGT Session 1 (11:00 - 12:30): Graph Languages, Session chair: Detlef Plump
    • Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars
      Hans-Jörg Kreowski, Sabine Kuske and Aaron Lye, Slides as PDF
    • Synchronous Hyperedge Replacement Graph Grammars
      Corey Pennycuff, Satyaki Sikdar, Catalina Vajiac, David Chiang and Tim Weninger, Slides as PDF
    • CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers (Tool Presentation Paper)
      Barbara König, Maxime Nederkorn and Dennis Nolte, Slides as PDF
  • ICGT Session 2 (14:00 - 15:30, joint with ICMT): Transformation Verification & Conditions, Session chair: Andy Schürr
    • CoqTL: an Internal DSL for Model Transformation in Coq (ICMT paper)
      Massimo Tisi and Zheng Cheng
    • Verifying Graph Transformation Systems with Description Logics
      Jon Hael Brenas, Rachid Echahed and Martin Strecker, Slides as PDF
    • OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules (Tool Presentation Paper)
      Nebras Nassar, Jens Kosiol, Thorsten Arendt and Gabriele Taentzer, Slides as PDF
  • ICGT Session 3 (16:00 - 17:30): Presentation Track, Session chair: Gabriele Taentzer
    • Modular Termination of Graph Transformation
      Detlef Plump, Slides as PDF
    • Inter-Model Consistency Checking using Triple Graph Grammars and Linear Optimization Techniques
      Erhan Leblebici, Anthony Anjorin and Andy Schürr, Slides as PDF
    • A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms using Graph Transformation
      Roland Kluge, Michael Stein, Gergely Varró, Andy Schürr, Matthias Hollick, Max Mühlhäuser, Slides as PDF

June 26: Program

  • ICGT Keynote (09:00 - 10:30): Introduction to Graph-Oriented Programming, Olivier Rey, Slides as PDF
  • ICGT Session 4 (11:00 - 12:30): Graph Transformation Formalisms, Session chair: Andrea Corradini
    • Graph Surfing by Reaction Systems
      Hans-Jörg Kreowski and Grzegorz Rozenberg, Slides as PDF, Video as MPG
    • Probabilistic Graph Programs for Randomised and Evolutionary Algorithms
      Timothy Atkinson, Detlef Plump and Susan Stepney, Slides as PDF
    • Graph-Rewriting Petri Nets
      Géza Kulcsár, Malte Lochau and Andy Schürr, Slides as PDF
  • ECMFA Keynote (14:00 - 15:30): Is Bidirectionality Important?, Perdita Stevens
  • ICGT Session 5 (16:00 - 17:30): Parallel Independence & Conflicts, Session chair: Bernhard Westfechtel
    • On The Essence and Initiality of Conflicts
      Guilherme Grochau Azzi, Andrea Corradini and Leila Ribeiro, Slides as PDF
    • Characterisation of Parallel Independence in AGREE-Rewriting
      Michael Löwe, Slides as PDF
    • Equivalence and Independence in Controlled Graph-Rewriting Processes
      Géza Kulcsár, Andrea Corradini and Malte Lochau, Slides as PDF