GCM 2017 Programme - 17 July 2017 The workshop will take place at Technologie- und Tagungszentrum Marburg Softwarecenter 3, 35037 Marburg, Germany 09:00-10:30 ICMT Keynote - Ramon Schiffelers, ASML, NL: Empowering high tech systems engineering using MDSE ecosystems 10:30-11:00 Coffee Break 11:00-12:30 Ivaylo Hristakiev and Detlef Plump. Checking Graph Programs for Confluence Berthold Hoffmann and Mark Minas. Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars Alessio Mansutti, Marino Miculan and Marco Peressotti. Loose Graph Simulations 12:30-14:00 Lunch Break 14:00-15:30 Nikos Mylonakis. A Graph Semantics for a Variant of the Ambient Calculus more Adequate for Modeling Service Oriented Computing Timothy Atkinson, Detlef Plump and Susan Stepney. Probabilistic Graph Programming Nebras Nassar, Jens Kosiol and Hendrik Radke. Rule-based Repair of EMF Models: Formalization and Correctness Proof 15:30-16:00 Coffee Break 16:00-17:00 Alexandru Burdusel and Steffen Zschaler. Automatic generation of evolution rules for model-driven optimisation Ernst Althaus, Andreas Hildebrandt and Domenico Mosca. Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness Conference Venue Contact Andrea Corradini (andrea@di.unipi.it)