GCM 2016

Programme - 4 July 2016

The workshop will take place at Elektrotechnisches Institut, Campus Gußhaus, Gußhausstraße 29, 1040 Vienna in room EI 8.


  • ICMT Keynote - Juan de Lara: Model Typing Transformations

10:30-11:00 Coffee Break


  • Frank Drewes, Berthold Hoffmann and Mark Minas. Approximating Parikh Images for Generating Deterministic Graph Parsers
  • Detlef Plump and Ivaylo Hristakiev. Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem
  • Andrea Corradini. On the definition of parallel independence in the algebraic approaches to graph rewriting

12:30-14:00 Lunch Break


  • Mohammed Alabdullatif and Reiko Heckel. Graph Transformation Games for Negotiating Features
  • Marisa Navarro, Fernando Orejas, Elvira Pino and Leen Lambers. A Logic of Graph Conditions Extended with Paths
  • Michael Löwe. SPO-Rewriting of Constrained Partial Algebras

15:30-16:00 Coffee Break


  • Jan Steffen Becker. An Automata-Theoretic Approach to Instance Generation
  • Jamal Hussein, Vladimiro Sassone and Luc Moreau. Template-Based Graph Transformation System for the PROV Data Model
  • Nadezhda Baklanova, Jon Haël Brenas, Amani Makhlouf, Christian Percebois, Martin Strecker and Hanh Nhi Tran. Coding, Executing and Verifying Graph Transformations with small-tALCQe

Conference Venue


Barbara König (barbara_koenig@uni-due.de)