9:00 - 10:30 | STAF keynote |
Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned Lionel Briand (University of Luxembourg) |
|
10:30 - 11.00 | Coffee break |
11:00 - 12:30 | Session 1 (Chair: Detlef Plump) |
Invited talk: 20 Years of Concurrent Model Driven Application Engineering with Triple Graph Grammars Andy Schürr (Technische Universität Darmstadt) |
|
Coupled Transformations of Shared Packed Parse Forests Vadim Zaytsev (Universiteit van Amsterdam) |
|
12:30 - 14:00 | Lunch |
14:00 - 15:30 | Session 2 (Chair: Rachid Echahed) |
Conditions, constraints and contracts: On the use of annotations for policy modeling Paolo Bottoni, Roberto Navigli, and Francesco Parisi Presicce (Università di Roma Sapienza) |
|
Global Graph Transformations Luidnel Maignan and Antoine Spicher (Université Paris-Est Créteil) |
|
Parallel evaluation of interaction nets: some observations and examples (Work-in-progress) Ian Mackie (École Polytechnique) and Shinya Sato (University of Sussex) |
|
15:30 - 16.00 | Coffee break |
16:00 - 17:30 | Session 3 (Chair: Barbara König) |
Attribution of Graphs by Composition of M,N-adhesive Categories Christoph Peuser and Annegret Habel (Universität Oldenburg) |
|
Single-Pushout Rewriting of Partial Algebras Michael Löwe and Marius Tempelmeier (Fachhochschule für die Wirtschaft Hannover) |
|
On Correctness of Graph Programs Relative to Recursively Nested Conditions Nils Erik Flick (Universität Oldenburg) |
Workshop Dinner: from 19.30 at Percorsi di Gusto, Via Leosini