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