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 models.

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.

Scope

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.)

Invited Speaker

We are pleased to announce Juergen Dingel (Queen's University, Ontario, Canada) as invited speaker.

Contact

In case of questions, please contact the PC-Chairs at icgt2016@gmail.com.