Workshop on Graph Computation Models

L'Aquila, 20 July 2015


9:00 - 10:30STAF keynote
Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned
Lionel Briand (University of Luxembourg)
10:30 - 11.00Coffee break
11:00 - 12:30Session 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:00Lunch
14:00 - 15:30Session 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.00Coffee break
16:00 - 17:30Session 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