CfP ICGT 2023 – 16th International Conference on Graph Transformation

***** CALL FOR PAPERS *****

=================================================================

16th International Conference on Graph Transformation (ICGT 2023)

  web: https://conf.researchr.org/home/icgt-2023

Part of STAF 2023, 17-21st July in Leicester, UK

  web: https://conf.researchr.org/home/staf-2023

=================================================================

** AIMS AND SCOPE **

The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space and control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, quantum computing and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights.

The International Conference on Graph Transformation aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas.

The 16th International Conference on Graph Transformation (ICGT 2023) will be held in Leicester, UK, as part of STAF 2023 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS and IFIP WG 1.3. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series.

---------------------------------------

** IMPORTANT DATES **

Abstracts:              07 Mar 2023 **new**

Paper Submission:       14 Mar 2023 **new**

Notification:           21 Apr 2023

Final version due:      07 May 2023

Conference:             within 17-21 Jul 2023

All deadlines are by end-of-day, AoE

---------------------------------------

** TOPICS **

In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2023 encourages all kinds of contributions related to graphs and graph transformation, either from a theoretical point of view or a practical one.

Topics of interest include, but are not limited to the following subjects:

- General models of graph transformation (e.g. adhesive categories and hyperedge replacement systems)

- Analysis and verification of graph transformation systems

- Graph-based machine learning, including graph neural networks and models of rule inference

- Graph theoretical properties of graph languages

- Automata on graphs and parsing of graph languages

- Logical aspects of graph transformation

- Computational models based on graphs

- Structuring and modularisation of graph transformation

- Hierarchical graphs and decomposition of graphs

- Parallel, concurrent, and distributed graph transformation

- Term graph and string diagram rewriting

- Petri nets and other models of concurrency

- Business process models and notations

- Bigraphs and bigraphical reactive systems

- Graph databases and graph queries

- Model-driven development and model transformation

- Model checking, program analysis and verification, simulation and animation

- Syntax, semantics and implementation of programming languages, including domain-specific and visual languages

- Graph transformation languages and tool support

- Efficient algorithms (e.g. pattern matching, graph traversal, network analysis)

- Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation)

- Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual)

- Graph transformation and artificial intelligence (e.g., AI for graph transformations, applying graph transformations in AI engineering and search-based software engineering)

---------------------------------------

** SUBMISSION TYPES **

Authors are invited to submit papers in four possible categories, which must be prepared using Springer's LNCS format.

(1) Regular research papers (up to 16 pages, excluding references and  appendices), including papers describing applications and case studies.  Papers will be evaluated with respect to their originality, significance,  and technical soundness. Additional material intended for reviewers (but not publication) may be included in a clearly marked appendix.

(2) Tool presentation papers (up to 8 pages, excluding references and appendices), which demonstrate the main features and functionality of graph-based tools. A tool presentation may have an appendix with a detailed demo description (up to 4 pages) which will be reviewed but not included in the proceedings.

(3) "Blue Skies" (up to 8 pages), reporting on new research directions or ideas which are not yet sufficiently developed to fit in other categories.

Furthermore, there will also be a "Journal-First" track allowing for previously published work (in book chapters, journals, or other conferences since 2019) to be presented at ICGT 2023. The submission deadline for the Journal-First track will be later and announced separately.

Please refer to the ICGT 2023 website for further information as well as the Easychair submission link:

https://conf.researchr.org/home/icgt-2023

---------------------------------------

** SPECIAL ISSUE **

Authors of the best papers at the conference will be invited to prepare and submit extended journal versions to be considered for publication in a special issue after an independent round of peer review (details TBA).

---------------------------------------

** ORGANISATION **

Programme Chairs

* Maribel Fernandez (King's College London, UK)

* Chris Poskitt (Singapore Management University, Singapore)

Programme Committee

* Nicolas Behr (Université Paris Cité, CNRS, IRIF, France)

* Paolo Bottoni (Sapienza University of Rome, Italy)

* Andrea Corradini (Università di Pisa, Italy)

* Juan De Lara (Universidad Autonoma de Madrid, Spain)

* Rachid Echahed (CNRS and University of Grenoble, France)

* Holger Giese (Hasso Plattner Institute at the University of Potsdam, Germany)

* Russ Harmer (CNRS & ENS Lyon, France)

* Reiko Heckel (University of Leicester, UK)

* Wolfram Kahl (McMaster University, Canada)

* Barbara König (University of Duisburg-Essen, Germany)

* Leen Lambers (BTU Cottbus - Senftenberg, Germany)

* Yngve Lamo (Western Norway University of Applied Sciences, Norway)

* Fernando Orejas (Technical University of Catalonia, Spain)

* Detlef Plump (University of York, UK)

* Arend Rensink (University of Twente, Netherlands)

* Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil)

* Andy Schürr (TU Darmstadt, Germany)

* Pawel Sobocinski (Tallinn University of Technology, Estonia)

* Gabriele Taentzer (Philipps-Universität Marburg, Germany)

* Kazunori Ueda (Waseda University, Japan)

* Jens Weber (University of Victoria, Canada)

---------------------------------------

** CONTACT **

All questions about submissions should be emailed to both PC Chairs via [email protected] and [email protected]

---------------------------------------