GCM 2010 Preliminary Programme
( PDF version)

Saturday, October 2nd, 2010

8:50 - 9:00

Welcome address

9:00 - 10:30 Session 1 (chair: Dirk Janssens)

• Marvin Heumüller, Salil Joshi, Barbara König and Jan Stückrath (Duisburg-Essen)
  Construction of Pushout Complements in the Category of Hypergraphs


• Sergey Dashkovskiy, Hans-Jörg Kreowski, Sabine Kuske, Andrii Mironchenko, Lars Naujok and Caroline von Totth (Bremen)
  Production Networks as Communities of Autonomous Units and Their Stability


• Giorgio Bacci (Udine) and Davide Grohmann (Copenhagen)
  On the Decidability of Bigraphical Sortings

10:30 - 11:00

Coffee break

11:00 - 12:30 Session 2 (chair: Gabriele Taentzer)

• Berthold Hoffmann (Bremen) and Mark Minas (Muenchen)
  Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars


• Mark Asztalos, Péter Ekler, Laszlo Lengyel, Tihamer Levendovszky and Tamás Mészáros (Budapest)
  Formalizing Models with Abstract Attribute Constraints


• Paolo Bottoni (Rome), Andrew Fish (Brighton) and Francesco Parisi-Presicce (Rome)
  Incremental update of constraint-compliant policy rules

12:30 - 14:00

Lunch break

14:00 - 15:30 Session 3 (chair: Rachid Echahed)

• Detlef Plump (York), Robin Suri (Roorkee) and Ambuj Singh (Kanpur)
  Minimizing Finite Automata with Graph Programs


• Ulrike Golas, Enrico Biermann, Hartmut Ehrig and Claudia Ermel
  A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (Berlin)


• Abdulla Alqaddoumi (New Mexico), Sergio Antoy (Portland), Sebastian Fischer (Kiel) and Fabian Reck (Kiel)
  The Pull-Tab Transformation

15:30 - 16:00

Coffee break

16:00 - 17:00 Session 4 (chair: Detlef Plump)

• Celia Picard and Ralph Matthes (Toulouse)
  Coinductive graph representation: the problem of embedded lists


• Ulrike Golas, Hartmut Ehrig and Frank Hermann (Berlin)
  Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions


• Hendrik Radke (Oldenburg)
  Weakest Liberal Preconditions relative to HR* Graph Conditions

17:00 - 17:30 (chair: Hans-Jörg Kreowski)

Plenary discussion round

17:30 Closing

18:30 GCM dinner