GCM 2016 Seventh International Workshop on Graph Computation Models Vienna, Austria 4 July 2016 Co-located with ICGT 2016 Part of STAF 2016

By Murdockcrc [CC BY 3.0 (http://creativecommons.org/licenses/by/3.0)], via Wikimedia Commons

Pre-Proceedings

Programme

Venue

The workshop will take place at Elektrotechnisches Institut, Campus Gußhaus, Gußhausstraße 29, 1040 Vienna in room EI 8.

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 2016 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), and in L'Aquila, Italy (GCM 2015)

Topics

GCM 2016 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.

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 STAF workshop proceedings, published by Springer.

Important Dates

Abstract submission:	18 April 2016
Paper submission:	25 April 2016
Notification:	25 May 2016
Final version due:	10 June 2016
Workshop:	4 July 2016

Programme Committee

Rachid Echahed	Laboratoire d'Informatique de Grenoble, France
Annegret Habel	Universität Oldenburg, Germany
Alexander Heußner	Universität Bamberg, Germany
Dirk Janssens	Universiteit Antwerpen, Belgium
Barbara König	Universität Duisburg-Essen, Germany (chair)
Hans-Jörg Kreowski	Universität Bremen, Germany
Ian Mackie	University of Sussex, UK
Mohamed Mosbah	LaBRI, Université de Bordeaux, France
Detlef Plump	The University of York, United Kingdom

Contact

Barbara König (barbara_koenig@uni-due.de)