=======================================================
12th International Conference on Graph Transformation
ICGT 2019
https://sites.google.com/site/icgt2019/
Eindhoven (The Netherlands), 15-19 July 2019
Part of STAF 2019
=======================================================

Aims and Scope
-------------------------------------------------------

Dynamic structures are a major cause for complexity when it comes to model and reason about systems. They occur in software architectures, models, pointer structures, databases, networks, etc. As collections of interrelated elements, which may be added, removed, or change state, they form a fundamental modelling paradigm as well as a means to formalise and analyse systems. Applications include architectural reconfigurations, model transformations, refactoring, and evolution of a wide range of artefacts, where change can happen either at design or run time.

Based on the observation that these structures can be represented as graphs and their modifications as graph transformations, theory and applications of graphs, graph grammars and graph transformation systems have been studied in our community for more than 40 years. The conference aims at fostering interaction within this community as well as attracting researchers from other areas, either in contributing to the theory of graph transformation or by applying graph transformation to established or novel areas.

The 12th International Conference on Graph Transformation (ICGT 2019) will be held in Eindhoven, The Netherlands, as part of STAF 2019 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS and IFIP WG 1.3. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series.

Topics of Interest
-------------------------------------------------------

In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2019 encourages all kinds of contributions related to graph transformation, either from a theoretical point or view, or from a practical view.

Topics of interest include, but are not limited to the following subjects:

- General models of graph transformation (e.g., high-level, adhesive, node, edge, and hyperedge replacement systems)
- Analysis and verification of graph transformation systems
- Graph theoretical properties of graph languages
- Automata on graphs and parsing of graph languages
- Logical aspects of graph transformation
- Computational models based on graph transformation
- Structuring and modularization of graph transformation
- Hierarchical graphs and decompositions of graphs
- Parallel, concurrent, and distributed graph transformation
- Term graph rewriting
- Graph transformation and Petri nets
- Model-driven development and model transformation
- Model checking, program verification, simulation and animation
- Syntax, semantics and implementation of programming languages, domain-specific languages, and visual languages
- Graph transformation languages and tool support
- Efficient algorithms (pattern matching, graph traversal, etc.)
- Applications and case studies of graph transformation in software engineering, including software architectures, refactoring, business processes, access control and service-orientation
- Application to computing paradigms such as bio-inspired, quantum, ubiquitous, and visual computing

Important Dates
-------------------------------------------------------

Abstract submission: March 15, 2019
Paper submission: March 22, 2019
Notification: April 29, 2019
Camera-ready: May 10, 2019
Conference: July 15-19, 2019

Submission Guidelines
-------------------------------------------------------

Papers can be submitted at http://www.easychair.org/conferences/?conf=icgt2019 using Springer's LNCS format (http://www.springer.com/lncs). For regular and tool demonstration papers, simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The page limits are strict and include references.

Papers are solicited in three categories:

- Regular papers (limited to 16 pages in Springer LNCS format)
describe innovative contributions and are evaluated with respect to their originality, significance, and technical soundness. We also solicit case studies describing applications of graph transformation in any application domain. Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix.

- Tool presentation papers (limited to 8 pages in Springer LNCS format)
demonstrate the main features and functionality of graph-based tools. A tool presentation paper may have an appendix with a detailed demo description (up to 5 pages), which will be reviewed but not included in the proceedings.

- Published papers (limited to an abstract of 800 words)
report on relevant contributions on theory or applications of graph transformation, which have been published (or have been accepted to be published) on a peer-reviewed venue different from ICGT (conference, book chapter or journal) since 01-01-2018. Papers in this category will be selected for presentation in the conference according to their relevance for the graph transformation community, and they will not be included in the proceedings. Submissions will consist of an abstract up to 800 words which must refer to the published paper, together with the original paper in PDF.

Special Issue
-------------

A special issue of the Journal of Logical and Algebraic Methods in Programming (Elsevier) will be devoted to extended versions of the best ICGT'19 papers.

Keynote Speaker
---------------

We are pleased to announce Marieke Huisman (University of Twente) as invited speaker.

Organization
-------------------------------------------------------

Program chairs

- Fernando Orejas (Technical University of Catalonia, Spain)
- Esther Guerra (University Autonoma of Madrid, Spain)

Program Committee

- Anthony Anjorin (University of Paderborn, Germany)
- Paolo Bottoni (Sapienza University of Rome, Italy)
- Andrea Corradini (University of Pisa, Italy)
- Juergen Dingel (Queen's University, Canada)
- Maribel Fernández (King's College London, UK)
- Holger Giese (HPI, University of Potsdam, Germany)
- Reiko Heckel (University of Leicester, UK)
- Barbara König (University of Duisburg-Essen, Germany)
- Harald König (FHDW Hannover, Germany)
- Leen Lambers (HPI, University of Potsdam, Germany)
- Yngve Lamo (Western Norway University of Applied Sciences, Norway)
- Juan de Lara (Autonomous University of Madrid, Spain)
- Detlef Plump (University of York, UK)
- Christopher M. Poskitt (Singapore University of Technology and Design, Singapore)
- Arend Rensink (University of Twente, The Netherlands)
- Leila Ribeiro (Federal University of Rio Grande do Sul, Brazil)
- Andy Schürr (Technische Universität Darmstadt, Germany)
- Daniel Strüber (University of Koblenz and Landau, Germany)
- Gabriele Taentzer (Philipps-Universität Marburg, Germany)
- Jens Weber (University of Victoria, Canada)

Contact
-------------------------------------------------------

In case of questions, please contact the PC chairs at: icgt2019@easychair.org