Partly sponsored by the ANR project CLIMT
Aims

The aim of the International Workshop GCM2012 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas. Previous editions of GCM series were held in Natal, Brazil (GCM 2006), in Leicester, UK (GCM 2008) and in Enschede, The Netherlands (GCM 2010).

Topics

• Models of graph transformation
• Parallel, concurrent, and distributed graph transformations
• Term graph rewriting
• Logics on graphs and graph transformations
• Formal graph languages
• Analysis and verification of graph transformation systems
• foundations of programming languages

• Software architecture
• Software validation
• Software evolution
• Visual programming
• Security models
• Implementation of programming languages
• Rule-based systems
• Workflow and business processes
• Model-driven engineering
• Service-oriented applications
• Bioinformatics and system biology
• Quantum computing
• Case-studies

Program Committee

• Paolo Baldan , University of Padova, Italy
• Frank Drewes, Umea University, Sweden
• Rachid Echahed (co-chair), LIG Lab., Grenoble, France
• Stefan Gruner, University of Pretoria, South Africa
• Annegret Habel (co-chair), University of Oldenburg, Germany
• Dirk Janssens, University of Antwerp, Belgium
• Hans-Joerg Kreowski, University of Bremen, Germany
• Pascale Le Gall, University of Evry-Val d'Essonne, France
• Mohamed Mosbah (co-chair), University of Bordeaux, France
• Detlef Plump, University of York, UK

Submissions and Proceedings

• Authors are invited to submit regular papers of at most 15 pages, position papers, system descriptions or work in progress (up to 5 pages) in Lecture Notes in Computer Science (LNCS) style. Submissions should be in PDF or Postscript Format. Papers should be submitted electronically via the easy-chair submission site.
• Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a revisited version of their papers after the workshop. Contributions accepted for the post-workshop proceedings will be published as an issue of the international journal of the "Electronic Communications EASST" .

Important Dates

Organizers

• Rachid Echahed, LIG Lab., Grenoble, France
• Annegret Habel, University of Oldenburg, Germany
• Mohamed Mosbah, University of Bordeaux 1, France