ICGT 2015: Call for Papers
8th International Conference on Graph Transformation (ICGT 2015) L'Aquila, Italy
20 - 24 July, 2015
More information: http://btn1x4.inf.uni-bayreuth.de/icgt2015
First Call for Papers
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, refactorings, 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.
The 8th International Conference on Graph Transformation (ICGT 2015) will be held in L'Aquila, Italy. The conference takes place under the auspices of EATCS (http://www.eatcs.org/), EASST (http://www.easst.org/), and IFIP (http://www.ifip.org/) WG 1.3.
Proceedings will be published by Springer in the Lecture Notes in Computer Science (http://www.springer.com/lncs) series.
Foundations Track:
The Foundations track invites contributions dealing with all aspects of the foundations of graph transformations. Topics of interest include, but are not limited to:
* General models of graph transformation
* High-level and adhesive replacement systems
* Node-, edge-, and hyperedge replacement grammars
* Parallel, concurrent, and distributed graph transformation
* Term graph rewriting
* Computational models based on graph transformations
* Hierarchical graphs and decompositions of graphs
* Graph theoretical properties of graph languages
* Geometrical and topological aspects of graph transformation
* Automata on graphs and parsing of graph languages
* Analysis and verification of graph transformation systems
* Structuring and modularization concepts for transformation systems
* Graph transformation and Petri nets
The Research papers (limited to 16 pages) submitted for this track describe innovative contributions to current research on the foundations of graph transformations and are evaluated with respect to their originality, significance, and technical soundness.
Applications Track:
The Applications track invites contributions dealing with applications of graph transformations in any domain. Topics of interest include, but are not limited to:
* Model-driven development and model transformations
* Graph transformation languages
* Syntax and semantics of programming languages or domain-specific languages
* Tool support for graph transformations
* Model checking, validation, verification, simulation and animation
* Efficient algorithms (pattern matching, graph traversal etc.)
* Software architecture, refactoring, and evolution
* Workflows, business processes, and service-oriented applications
* Self-adaptive systems and ubiquitous computing
* Natural computing
* Bioinformatics and system biology
* Applications in natural and engineering sciences
The Applications track invites submissions in the following categories:
- Technical papers (limited to 16 pages) describe innovative contributions to application-oriented research on graph transformations and are evaluated with respect to their originality, significance, and technical soundness. Papers on tools may be submitted in this category unless they are tool presentation papers (see below).
- Case studies (limited to 12 pages) describe applications of graph transformations in any application domain. Case studies should contain a critical assessment of graph transformation techniques compared to standard techniques used in the respective application domain, and summarize the lessons learned. Case studies may also include empirical data and their evaluation.
- Tool presentation papers (limited to 8 pages) demonstrate new and exciting functionality of graph transformation tools. A tool presentation paper should focus on functionality and user interface without delving into technical details, and either describe or reference a demo session to be presented at the conference.
Paper Submission
----------------
Papers can be submitted at
http://www.easychair.org/conferences/?conf=icgt2015. Submitted papers must use Springer's LNCS format (http://www.springer.com/lncs).
Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The page limits depend on the paper categories described in the Foundations and Applications tracks. The page limits are strict and include references and appendices.
Important Dates
- Abstract submission: 20 March 2015
- Full paper submission: 27 March 2015
- Notification of acceptance: 30 April 2015 Final version due: 13 May 2015
- Conference: 20 - 24 July 2015
Program Chairs
- Francesco Parisi-Presicce (Sapienza University of Rome, Italy)
- Bernhard Westfechtel (University of Bayreuth, Germany)
Publicity Chair
- Thomas Buchmann (University of Bayreuth, Germany)
Program Committee
- Paolo Baldan (University of Padova, Italy)
- Luciano Baresi (University of Milano, Italy)
- Gabor Bergmann (Budapest University of Technology and Economics, Hungary)
- Paolo Bottoni (Sapienza University of Rome, Italy)
- Thomas Buchmann (University of Bayreuth, Germany)
- Andrea Corradini (University of Pisa, Italy)
- Juan de Lara (Autonomous University Madrid, Spain)
- Rachid Echahed (CNRS, Laboratoire LIG, France)
- Claudia Ermel (Technical University of Berlin, Germany)
- Holger Giese (Hasso Plattner Institute, University of Potsdam, Germany)
- Reiko Heckel (University of Leicester, UK)
- Frank Hermann (University of Luxembourg, Luxembourg)
- Barbara Konig (University of Duisburg-Essen, Germany)
- Christian Krause (SAP Innovation Centre Potsdam, Germany)
- Hans-Jorg Kreowski (University of Bremen, Germany)
- Leen Lambers (Hasso Plattner Institute, University of Potsdam, Germany)
- Tihamer Levendovszky (Vanderbilt University, Nashville, TN)
- Fernando Orejas (Technical University of Catalonia, Spain)
- Detlef Plump (University of York, UK)
- Arend Rensink (University of Twente, The Netherlands)
- Leila Ribeiro (Federal University of Rio Grande do Sul, Brazil)
- Andy Schurr (Technische Universitat Darmstadt, Germany)
- Pawel Sobocinski (University of Southampton, UK)
- Gabriele Taentzer (University of Marburg, Germany)
- Matthias Tichy (Chalmers University | University of Gothenburg, Sweden)
- Pieter Van Gorp (Technical University of Eindhoven, The Netherlands)
- Albert Zundorf (University of Kassel, Germany)
Web page: http://btn1x4.inf.uni-bayreuth.de/icgt2015
Contact: icgt2015@easychair.org