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 the International Workshop GCM 2020 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among senior and young researchers from 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), in Enschede, The Netherlands (GCM 2010), in Bremen, Germany (GCM 2012), in York, UK (GCM 2014), in L'Aquila, Italy (GCM 2015), in Wien, Austria (GCM 2016), in Marburg, Germany (GCM 2017), in Toulouse, France (GCM 2018), and in Eindhoven, The Netherlands (GCM 2019).
GCM 2020 solicits papers on all aspects of graph computation models. This includes but is not limited to the following topics:
Models of graph transformation
Analysis and verification of graph transformation systems
Parallel, concurrent, and distributed graph transformation
Term graph rewriting
Formal graph languages
Graph-based programming models and visual programming
Model-driven engineering
Evolutionary computation
Software architectures, validation and evolution
Databases
Graph-based security models
Workflow and business processes
Social network analysis
Bioinformatics and computational chemistry
Quantum computing
Case-studies
Abstract Submission: 14 April 2020 28 April 2020
Paper Submission: 20 April 2020 4 May 2020
Notification: 20 May 2020 3 June 2020
Final version due: 15 June 2020 17 June 2020
Workshop: 24 June 2020
Should you have any problem to meet the deadlines, please send an email to the organizers.
Authors are invited to submit papers in three possible categories:
Regular papers of at most 16 pages describing innovative contributions.
Position papers, system descriptions or work in progress of 6 to 12 pages.
Abstracts limited to 2 pages, introducing recently published papers in a peer-reviewed venue different from ICGT conference.
Papers in PDF format should be submitted electronically via the EasyChair system site. Submissions must use Lecture Notes in Computer Science (LNCS) style. For regular and tool demonstration papers, simultaneous submission to other conferences with proceedings as well as submission of material that has already been published elsewhere is not allowed. The page limits include references. An optional appendix can be added if useful for the reviewing process.
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 post-proceedings to be published online by Electronic Proceedings in Theoretical Computer Science (EPTCS).
Andrea Corradini, University of Pisa, Italy
Frank Drewes, Umeå universitet, Sweden
Rachid Echahed, CNRS and Univ. Grenoble Alpes, France
Annegret Habel, University of Oldenburg, Germany
Berthold Hoffmann (co-chair), University of Bremen, Germany
Hans-Jörg Kreowski, University of Bremen, Germany
Leen Lambers, University of Potsdam, Germany
Mark Minas (co-chair), Universität der Bundeswehr München, Germany
Fernando Orejas, Universitat Politècnica de Catalunya, Spain
Detlef Plump, University of York, UK
Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil
Berthold Hoffmann, University of Bremen, Germany
Mark Minas, Universität der Bundeswehr München, Germany