[TYPES/announce] ICGT 2017: Final Call for Papers

[Detlef Plump]

============================================
Final Call for Papers

10th International Conference on Graph Transformation
ICGT 2017
Marburg (Germany), 18-19 July 2017

Part of STAF 2017
https://sites.google.com/site/gratra2017/
============================================

Aims and Scope
---------------------------------
Dynamic structures are a major cause for complexity when it comes to model
and reason about systems. They occur in software architectures, models,
pointer structures, databases, networks, etc. As collections of
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 time or at run time.

Based on the observation that these structures can be represented as graphs
and their modifications 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, either in contributing to the theory of graph
transformation or by applying graph transformation to established or novel
areas.

The 10th International Conference on Graph Transformation (ICGT 2017) will
be held in Marburg, Germany, as part of STAF 2017 (Software Technologies:
Applications and Foundations). The conference takes place under the
auspices of EATCS, EASST, and IFIP WG 1.3. Proceedings will be published by
Springer in the Lecture Notes in Computer Science (LNCS) series, and a
special issue has been confirmed with the Journal of Logic and Algebraic
Methods in Programming (Elsevier).

Topics of Interest
---------------------------------
Topics of interest include (but are not limited to):

- 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 of graph transformation
- Hierarchical graphs and decompositions of graphs
- Parallel, concurrent, and distributed graph transformation
- Term graph rewriting
- Graph transformation and Petri nets
- 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.)
- Applications and case studies of graph transformation in software
engineering, including software architectures, refactoring, business
processes, access control and service-orientation
- Application to computing paradigms such as bio-inspired, quantum,
ubiquitous, and visual computing

Important Dates
----------------------------------
Abstract submission:    February 17, 2017
Paper submission:        February 24, 2017
Notification:                  April 7, 2017
Camera-ready version:  April 21, 2017
Conference:                 July 18-19, 2017

Submission Guidelines
---------------------------------
Papers can be submitted at http://www.easychair.org/confe
rences/?conf=icgt2017 using Springer's LNCS format (
http://www.springer.com/lncs), and should contain original research.
Simultaneous submission to other conferences with proceedings or submission
of material that has already been published elsewhere is not allowed. All
submissions will be peer reviewed by members of the program committee and
external subreviewers.

Papers are solicited in three categories:
- Research papers (16 pages max) are evaluated with respect to their
originality, significance, and technical soundness. Additional material
intended for reviewers may be included in a clearly marked appendix.
- Case studies (12 pages max) describe applications of graph
transformations in any application domain.
- Tool presentation papers (12 pages max) demonstrate the main features and
functionality of graph-based tools. These papers may have an appendix with
a detailed demo description (up to 5 pages), which will be reviewed but not
included in the proceedings.

Special Issue
---------------------------------
A special issue of the Journal of Logic and Algebraic Methods in
Programming (Elsevier) will be devoted to extended versions of the best
ICGT'17 papers.

Keynote Speaker
---------------------------------
We are pleased to announce Georg Gottlob (University of Oxford) as invited
speaker.

Organization
---------------------------------

Program chairs

- Detlef Plump (University of York, UK)
- Juan de Lara (Universidad Autónoma de Madrid, Spain)

Program committee

- Anthony Anjorin (University of Paderborn, Germany)
- Paolo Baldan (University of Padova, Italy)
- Gábor Bergmann (Budapest University of Technology and Economics, Hungary)
- Paolo Bottoni (Sapienza University of Rome, Italy)
- Andrea Corradini (University of Pisa, Italy)
- Juergen Dingel (Queen's University, Canada)
- Rachid Echahed (CNRS, Laboratoire LIG, France)
- Maribel Fernandez (King's College London, UK)
- Holger Giese (Hasso Plattner Institute, University of Potsdam, Germany)
- Joel Greenyer (Leibniz University of Hannover, Germany)
- Annegret Habel (University of Oldenburg, Germany)
- Reiko Heckel (University of Leicester, UK)
- Berthold Hoffmann (University of Bremen, Germany)
- Dirk Janssens (University of Antwerp, Belgium)
- Barbara König (University of Duisburg-Essen, Germany)
- Leen Lambers (Hasso Plattner Institute, University of Potsdam, Germany)
- Yngve Lamo (Bergen University College, Norway)
- Mark Minas (Universität der Bundeswehr München, Germany)
- Mohamed Mosbah (LaBRI, University of Bordeaux, France)
- Fernando Orejas (Technical University of Catalonia, Spain)
- Francesco Parisi-Presicce (Sapienza University of Rome, Italy)
- Arend Rensink (University of Twente, The Netherlands)
- Leila Ribeiro (University Federal do Rio Grande do Sul, Brazil)
- Andy Schürr (Technical University of Darmstadt, Germany)
- Uwe Wolter (University of Bergen, Norway)
- Albert Zündorf (University of Kassel, Germany)

Contact
---------------------------------
icgt2017 at easychair.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170118/b900d54f/attachment-0001.html>