| 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