***** 2nd CALL FOR PAPERS *****
IMPORTANT: the submission dates have been brought forward by one week
since the 1st CFP
=================================================================
17th International Conference on Graph Transformation (ICGT 2024)
web: https://conf.researchr.org/home/icgt-2024
Part of STAF 2024, 8th-12th July in Twente, NL
web: https://conf.researchr.org/home/staf-2024
=================================================================
** 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 provide leeway for
new ideas.
The 17th International Conference on Graph Transformation (ICGT 2024)
will be held at the University of Twente in Enschede, NL, as part of
STAF 2024 (Software Technologies: Applications and Foundations). The
conference takes place under the auspices of EATCS and IFIP WG 1.3.
---------------------------------------
** IMPORTANT DATES **
Abstracts: 20 Feb 2024
Paper Submission: 27 Feb 2024
Notification: 23 Apr 2024
Final version due: 14 May 2024
Conference: within 8-12 Jul 2024
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 2024 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
- Structuring and modularisation of graph transformation
- Hierarchical graphs and decomposition of graphs
- Parallel, concurrent, and distributed graph transformation
- Graph-theoretical properties of graph languages
- Automata on graphs and parsing of graph languages
- Logical aspects of graph transformation
- Term graph and string diagram rewriting
- Petri nets and other models of concurrency
- Bigraphs and bigraphical reactive systems
- Computational models based on graphs
- Model checking, program analysis and verification, simulation and
animation
- Applications to computing paradigms (e.g. bio-inspired, quantum,
ubiquitous, and visual)
- Graph databases and graph queries
- Model-driven development and model transformation
- Business process models and notations
- Applications and case studies in software engineering (e.g. software
architectures, refactoring, access control, and service-orientation)
- 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)
- Graph-based machine learning, including graph neural networks
and models of rule inference
- 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.
The proceedings will be published by Springer in the Lecture Notes in
Computer Science (LNCS) series.
Furthermore, there will also be a "Journal-First" track allowing for
previously published work (in book chapters, journals, or other conferences
since 2020) to be presented at ICGT 2024. The submission deadline for the
Journal-First track will be later and announced separately.
Please refer to the ICGT 2024 website for further information as well as
the Easychair submission link:
https://conf.researchr.org/home/icgt-2024
---------------------------------------
** 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
* Russ Harmer (CNRS, Lyon, France)
* Jens Kosiol (Philipps-Universität Marburg & Universität Kassel, Germany)
Programme Committee
* Nicolas Behr (CNRS, Paris, France)
* Paolo Bottoni (Sapienza University of Rome, Italy)
* Andrea Corradini (Università di Pisa, Italy)
* Juergen Dingel (Queens University, Ontario, Canada)
* Rachid Echahed (CNRS, Grenoble, France)
* Jörg Endrullis (Vrije Universiteit Amsterdam, Netherlands)
* James Fairbanks (University of Florida, USA)
* Maribel Fernandez (King's College London, UK)
* Fabio Gadducci (Università di Pisa, Italy)
* Reiko Heckel (University of Leicester, UK)
* Barbara König (Universität Duisburg-Essen, Germany)
* Leen Lambers (BTU Cottbus - Senftenberg, Germany)
* Juan De Lara (Universidad Autonoma de Madrid, Spain)
* Yngve Lamo (Høgskulen på Vestlandet, Norway)
* Mark Minas (Universität der Bundeswehr München, Germany)
* Fernando Orejas (Technical University of Catalonia, Spain)
* Detlef Plump (University of York, UK)
* Chris Poskitt (Singapore Management University, Singapore)
* Arend Rensink (University of Twente, Netherlands)
* Andy Schürr (TU Darmstadt, Germany)
* Gabi Taentzer (Philipps-Universität Marburg, Germany)
* Kazunori Ueda (Waseda University, Japan)
* Steffen Zschaler (King's College London, UK)
---------------------------------------
** CONTACT **
All questions about submissions should be emailed to both PC Chairs
via russell.harmer@ens-lyon.fr and kosiolje@mathematik.uni-marburg.de
---------------------------------------
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
