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.
09:00-10:30
- ICMT Keynote - Juan de Lara: Model Typing Transformations
10:30-11:00 Coffee Break
11:00-12:30
- 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
14:00-15:30
- 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
16:00-17:30
- 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
Contact
Barbara König (barbara_koenig@uni-due.de)
|