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