Marburger Oberstadt mit Landgrafen Schloss von Osten. Von links nach rechts: Alte Universität, Rathaus, Lutherische Pfarrkirche, Schloss, Elisabethkirche Im Vordergrund: Martin Luther Schule (MLS)
By Heinrich Stürzl [CC BY 3.0 (http://creativecommons.org/licenses/by/3.0)], via Wikimedia Commons

GCM 2017

Eighth International Workshop on
Graph Computation Models

Marburg, Germany
17 July 2017

Co-located with ICGT 2017
Part of STAF 2017

ELECTRONIC PRE-PROCEEDINGS

PROGRAMME

Background and Aims

Graphs are common mathematical structures which are visual and intuitive. They constitute a natural and seamless way for system modeling in science, engineering and beyond, including computer science, life sciences, business processes, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. They generalize classical computation models based on strings or trees, such as Chomsky grammars or term rewrite systems. Their mathematical foundation, in addition to their visual nature, facilitates specification, validation and analysis of complex systems. A variety of computation models have been developed using graphs and rule-based graph transformation. These models include features of programming languages and systems, paradigms for software development, concurrent calculi, local computations and distributed algorithms, and biological and chemical computations.

The aim of GCM 2017 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques. The workshop 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 the GCM series were held in Natal, Brazil (GCM 2006), in Leicester, UK (GCM 2008), in Enschede, The Netherlands (GCM 2010), in Bremen, Germany (GCM 2012), in York, UK (GCM 2014), in L'Aquila, Italy (GCM 2015), and in Wien, Austria (GCM 2016).

Topics

GCM 2017 solicits papers on all aspects of graph computation models. This includes but is not limited to the following topics.

Foundations:

Applications:

Submissions and Publication

Authors are invited to submit two types of papers,

Papers should be produced with the LNCS style (LLNCS) and submitted as PDF files via the EasyChair submission page.

All submissions will be reviewed by the programme committee. Electronic proceedings will be available at the time of the workshop. Selected authors will be invited to contribute to the joint post-proceedings of the STAF workshops, that will be published by Springer in the LNCS series.

Important Dates

Abstract submission:25 April 2017
Paper submission:30 April 2017
Notification:25 May 2017
Final version due:16 June 2017
Workshop:17 July 2017

Programme Committee

Andrea CorradiniDipartimento di Informatica, Pisa, Italia, [Chair]
Rachid EchahedLaboratoire d'Informatique de Grenoble, France
Stefan GrunerUniversity of Pretoria, South Africa
Annegret Habel Universität Oldenburg, Germany
Dirk JanssensUniversiteit Antwerpen, Belgium
Barbara KönigUniversität Duisburg-Essen, Germany
Hans-Jörg Kreowski Universität Bremen, Germany
Mohamed MosbahLaBRI, Université de Bordeaux, France
Detlef PlumpThe University of York, United Kingdom
Leila RibeiroUniversidade Federal do Rio Grande do Sul, Brazil

Contact

Andrea Corradini (andrea@di.unipi.it)