Welcome to ICGT 2016
9th International Conference on Graph Transformation
July 5-6, 2016 • Vienna, Austria
Graphs are used almost everywhere when representing or modelling
structures and systems, not only in applied and theoretical computer
science, but also in, e.g., natural and engineering sciences. Graph
transformation and graph grammars are the fundamental modelling
paradigms for describing, formalizing, and analyzing graphs that change
over time when modelling, e.g., dynamic data structures, systems, or
The International Conference on Graph Transformation (ICGT)
series aims to bring together researchers from different
areas in this context and to provide a forum for presenting new results,
discussing novel ideas and sharing experience. The conference is
affiliated with STAF (Software Technologies: Applications and
Foundations) and it takes place under the auspices of EATCS, EASST, and
IFIP WG 1.3. The Proceedings have been published by Springer as volume 9761 in the Lecture Notes in Computer Science series.
The 9th International Conference on Graph Transformation (ICGT 2016) will be held in Vienna, Austria, as part of STAF 2016 at the Technische Universität Wien.
In order to foster a lively exchange of perspectives on the subject
of the conference, the programme committee of ICGT 2016 encourages all
kinds of contributions related to graph transformation. 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 concepts for graph transformation systems
- Hierarchical graphs and decompositions of graphs
- Parallel, concurrent, and distributed graph transformation
- Modelling and Analysis of Dynamic Data Structures
- Term graph rewriting
- Graph transformation and Petri nets
- Ontologies and Ontology evolution
- Graph databases
- Modelling and realizing Software architectures, refactoring,
evolution, workflows, business processes, access control, security
policies, Service-oriented applications, semantic web, ...
- Natural language processing, Natural computing, Bioinformatics,
Quantum computing, Ubiquitous computing, Visual computing, Image
generation, Natural and Engineering sciences, ...
- 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.)
We are pleased to announce Juergen Dingel (Queen's University, Ontario, Canada) as invited speaker.
In case of questions, please contact the PC-Chairs at email@example.com.