ICGT 2017 - 10th International Conference on Graph Transformation

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 10th International Conference on Graph Transformation (ICGT 2017) will be held in Marburg, Germany, as part of STAF 2017 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS, EASST, and IFIP WG 1.3. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series, and a special issue has been confirmed with the Journal of Logic and Algebraic Methods in Programming (Elsevier).
Scope
In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2017 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