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:
- Models of graph transformation
- Parallel, concurrent, and distributed graph transformation
- Term graph rewriting
- Logics on graphs and graph transformation
- Formal graph languages
- Analysis and verification of graph transformation systems
- Foundations of programming languages
Applications:
- Software architectures
- Software validation
- Software evolution
- Visual programming
- Graph-based security models
- Design and implementation of programming languages
- Workflow and business processes
- Model-driven engineering
- Dynamic graph algorithms
- Bioinformatics and system biology
- Social network analysis
- Case studies
Submissions and Publication
Authors are invited to submit two types of papers,
- regular papers of at most 15 pages and
- position papers, system descriptions or work-in-progress papers of 5-15 pages.
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 Corradini | Dipartimento di Informatica, Pisa, Italia, [Chair] |
| Rachid Echahed | Laboratoire d'Informatique de Grenoble, France |
| Stefan Gruner | University of Pretoria, South Africa |
| Annegret Habel | Universität Oldenburg, Germany |
| Dirk Janssens | Universiteit Antwerpen, Belgium |
| Barbara König | Universität Duisburg-Essen, Germany |
| Hans-Jörg Kreowski | Universität Bremen, Germany |
| Mohamed Mosbah | LaBRI, Université de Bordeaux, France |
| Detlef Plump | The University of York, United Kingdom |
| Leila Ribeiro | Universidade Federal do Rio Grande do Sul, Brazil |
Contact
Andrea Corradini (andrea@di.unipi.it)
