FINAL CfP: 11th International Conference on Graph Transformation (ICGT 2018)
FINAL CALL FOR PAPERS
11th International Conference on Graph Transformation (ICGT 2018)
Part of STAF 24-29 June 2018
24-29 June 2018 | Toulouse, France | https://www.hpi.uni-potsdam.de/giese/events/icgt2018/
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 time or at 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 11th International Conference on Graph Transformation (ICGT 2018) will be held in Toulouse, France, as part of STAF 2018 (Software Technologies: Applications and Foundations). Proceedings will be published by Springer in the LNCS series (final confirmation pending) and a special issue of the Journal of Logic and Algebraic Methods in Programming (Elsevier) will be devoted to extended versions of the best ICGT'18 papers.
Topics of Interest
In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2018 encourages all kinds of contributions related to graph transformation, either from a theoretical, or from a practical point of 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 in software engineering, including software architectures, refactoring, business processes, access control and service-orientation
- Applications to computing paradigms such as bio-inspired, quantum, ubiquitous, and visual computing
Important dates
- Abstract submission: 23 February, 2018
- Paper submission: 2 March, 2018
- Notification: 9 April, 2018
- Conference: 25-27 June, 2018
Submission Guidelines
Papers can be submitted at http://www.springer.com/us/computer-science/lncs , and should contain original research. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. All submissions will be peer reviewed by the members of the Programme Committee and external subreviewers.
Papers are solicited in three categories:
- Research papers (15 pages max) are evaluated w.r.t. originality, significance, and technical soundness. Theoretical papers should include a motivation and examples illustrating the theoretical contribution. Application papers should contain a case study and evaluation. Additional material intended for reviewers may be included in a clearly marked appendix. Additional material intended for reviewers may be included in a clearly marked appendix.
- Tool presentation papers (5 pages max) demonstrate main new features and functionality of graph-based tools. These papers may have an appendix with a detailed demo description (up to 5 pages), which will be reviewed but not included in the proceedings.
- New ideas papers (5 pages max) describe initial reflections on the establishment of connections of graph transformation with a new area. They are evaluated w.r.t. innovation, potential for success as well as value for the ICGT research community.
Organization
Program chairs
- Leen Lambers (HPI Potsdam, University of Potsdam, Germany)
- Jens Weber (University of Victoria, Canada)
Program Committee
- Anthony Anjorin (University of Paderborn)
- Paolo Baldan (University of Padova)
- Gabor Bergmann (Budapest University of Technology and Economics)
- Paolo Bottoni (Sapineza University of Rome)
- Juan de Lara (Autonomous University Madrid)
- Jurgen Dingel (Queen's University)
- Rachid Echahed (CNRS, Laboratoire LIG)
- Holger Giese (HPI, University of Potsdam)
- Annegret Habel (University of Oldenburg)
- Reiko Heckel (University of Leicester)
- Berthold Hoffmann (University of Bremen)
- Dirk Janssens (University of Antwerp)
- Barbara Konig (University of Duisburg-Essen)
- Yngve Lamo (Bergen University College)
- Mark Minas (University of Bundeswehr Munchen)
- Mohamed Mosbah (LaBRI, University of Bordeaux)
- Fernando Orejas (Technical University Catalonia)
- Francesco Parisi-Presicce (Sapienza University of Rome)
- Detlef Plump (University of York)
- Arend Rensink (University of Twente)
- Leila Ribeiro (Federal University of Rio Grande do Sul)
- Andy Schurr (Technische Universitat Darmstadt)
- Gabriele Taentzer (University of Marburg)
- Bernhard Westfechtel (University of Bayreuth)
- Albert Zundorf (University of Kassel)
Contact
In case of questions, please contact the PC chairs at: icgt2018@easychair.org