================================================================
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)
Gábor 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 König (University of Duisburg-Essen, Germany)
Christian Krause (SAP Innovation Centre Potsdam, Germany)
Hans-Jörg 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 Schürr (Technische Universität 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 Zündorf (University of Kassel, Germany)
Web page: http://btn1x4.inf.uni-bayreuth.de/icgt2015
Contact: [email protected]
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
