8th International Conference on Graph Transformation
The 8th International Conference on Graph Transformation (ICGT 2015) will be held in L'Aquila (Italy) in July 2015. It continues the series of conferences previously held in Barcelona (Spain) in 2002, Rome (Italy) in 2004 (ICGT 2004), Natal (Brazil) in 2006 (ICGT 2006), Leicester (UK) in 2008 (ICGT 2008), Enschede (The Netherlands) in 2010 (ICGT 2010), Bremen (Germany) in 2012 (ICGT 2012) and York (UK) in 2014 (ICGT 2014), as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science between 1978 to 1998.
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. Proceedings were published in the Lecture Notes of Computer Science Series as LNCS 9151.
This year, ICGT offers two tracks:
- Foundations (research papers, 16 pages)
- Applications (technical papers, 16 pages; case studies, 12 pages; tool presentations, 8 pages
Dynamic structures are a major cause for complexity when it comes to model and reason about systems. They occur in software architectures, configurations of artefacts such as code or models, pointer structures, databases, networks, etc. As 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 at run time. Dynamic structures occur also as part of semantic domains or computational model for formal modelling languages.
Based on the observation that all these can be represented as graphs and their changes modeled 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 to join us, either in contributing to the theory of graph transformation or by applying graph transformations to already known or novel areas, such as self-adaptive systems, overlay structures in cloud or P2P computing, advanced computational models for DNA computing, etc.
Topics of interest include, but are not limited to:
|General models of graph transformation||Model‐driven development and model transformations|
|Node-, edge-, and hyperedge replacement grammars||Graph transformation languages|
|Parallel, concurrent, and distributed graph transformation||Syntax and semantics of programming languages or domain‐specific languages|
|High-level and adhesive replacement systems||Tool support for graph transformations|
|Term graph rewriting||Model checking, validation, verification, simulation and animation|
|Computational models based on graph transformations||Efficient algorithms (pattern matching, graph traversal etc.)|
|Hierarchical graphs and decompositions of graphs||Software architecture, refactoring, and evolution|
|Graph theoretical properties of graph languages||Workflows, business processes, and service‐oriented applications|
|Geometrical and topological aspects of graph transformation||Self‐adaptive systems and ubiquitous computing|
|Automata on graphs and parsing of graph languages||Natural computing|
|Analysis and verification of graph transformation systems||Bioinformatics and system biology|
|Structuring and modularization concepts for transformation systems||Applications in natural and engineering sciences|
|Graph transformation and Petri nets|
We are pleased to announce Gerti Kappel (Vienna University of Technology) as invited speaker on the 21st of July, 2015.
In case of questions, please contact the PC-Chairs at email@example.com.