Workshop on Graph Computation Models 2006

GMC 2006

18th of September, 2006 Natal (Brazil)

A satellite event of ICGT 2006

Program    Registration  

A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A graph may represent, in an abstract way, the underlying structure of a computer system, or it may stand for the computation steps running on such a system. In the former, the computation can be carried on the corresponding graph, implying a simplification of the complexity of the system. The aim of the workshop is to bring together researchers interested in all aspects of computation models based on graphs, and their applications. A particular emphasis will be made for models and tools describing general solutions. The workshop will include tutorials, contributed papers, and tool demonstrations.

 Program / Tutorials and talks (Monday, September 18th, 2006)

10:30 – 11:15      Graph transformation units and their applications 

H. J. Kreowski (Bremen)

11:15 – 12:00   On Discrete Distributed System Synthesis

D. Janin (Bordeaux)

12:30 – 14:00 Lunch

14:00 – 14:45 Computations by graph programs

A. Habel (Oldenburg)

14:45 – 15:30 Ensuring Pointer Safety with Graph Transformations 

M. Dodds (York)

15:30 – 16:00 Break

16:00 – 16:30 A Graph-Transformation-Based Semantics for Analysing Aspect Interference

                        T. Staijen, A. Rensink (Twente)

16:30 – 17:00 A fully generic, graph-based approach to data transformation discovery

                       D. A. Creager, A. C. Simpson (Oxford)

17:00 – 17:30 Coffee Break

17:30 – 18:00 Distributed Maintenance of Spanning Trees Using Graph Relabeling Systems

                       B. Hamid (Bordeaux)

18:00 – 19:00 Tool demonstrations

                       M. Mosbah (Bordeaux)


Registration can be done using the SBMF/ICGT website at:

Information about travelling can be found at 

Venue information can be obtained from the website:


CONTACT: Mohamed Mosbah,




  • Yves Métivier, University of Bordeaux 1, France
  • Mohamed Mosbah, University of Bordeaux 1, France
  • Annegret Habel, University of OldenburgGermany
  • Hans-Jörg Kreowski, University of Bremen, Germany
  • Detlef Plump, University of York, UK
  • Stefan Gruner, University of Bordeaux 1, France


 15 June 2006

paper submission deadline (extended)

20 July 2006

notification of acceptance or rejection

9 August 2006

final version