Call for Papers
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
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)
Important Dates
- Abstracts:
20 Feb 202427 Feb 2024 - Paper Submission:
27 Feb 20245 Mar 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
Submission Types
Authors are invited to submit research papers in three 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 (previous ICGT LNCS volumes can be accessed here).
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.
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).
This program is tentative and subject to change.
Mon 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mKeynote | WADT Keynote 1 - Some Uses of Modal Semirings Keynotes File Attached | ||
10:00 30mTalk | Bialgebraic Representation of Controlled Coordination of Interacting System Components WADT File Attached | ||
13:30 - 15:00 | |||
13:30 30mKeynote | WADT Keynote 2 - Conditional Equational Logic of Common Meadows Keynotes | ||
14:00 30mTalk | Categories of Algebraic Rewrite Rules WADT File Attached | ||
14:30 30mTalk | Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers WADT Lorenzo Ceragioli IMT School for Advanced Studies, Giuseppe Lomurno University of Pisa, P: Gabriele Tedeschi University of Pisa File Attached | ||
Tue 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mKeynote | ECMFA Keynote - From Data Chaos to Decision Making Keynotes | ||
Wed 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | ICGT Keynote SessionKeynotes / ICGT Research Papers at Waaier 2 Chair(s): Jens Kosiol Universität Kassel | ||
09:00 15mDay opening | ICGT Opening ICGT Research Papers | ||
09:15 75mKeynote | ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Analysis Keynotes | ||
11:00 - 12:30 | |||
11:00 30mTalk | Causal Graph Dynamics and Kan Extensions ICGT Research Papers Pre-print | ||
11:30 30mTalk | The ‘Causality’ Quagmire for Formalised Bond Graphs ICGT Research Papers | ||
12:00 30mTalk | Tracelet Hopf Algebras and Decomposition SpacesJournal-first paper ICGT Research Papers Link to publication DOI | ||
11:00 - 12:30 | |||
11:00 90mKeynote | MeSS Keynote: It's Patterns all the Way Down: Patterns, Anti-Patterns and Pattern Languages for Next-Generation Semantic Modelling Keynotes | ||
13:30 - 15:00 | |||
13:30 90mTutorial | Gentle Introduction to LMNtal: Language Design and ImplementationTutorial ICGT Research Papers Link to publication | ||
13:30 - 15:00 | |||
13:30 90mKeynote | AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes Keynotes | ||
15:30 - 17:00 | |||
15:30 30mTalk | Checking Transaction Isolation Violations with Graph Queries ICGT Research Papers Stefania Dumbrava ENSIIE & Institut Polytechnique de Paris, Zhao Jin ENSIIE, Burcu Kulahcioglu Ozkan Delft University of Technology, Jingxuan Qiu Delft University of Technology | ||
16:00 30mTalk | Modular language product lines: concept, tool and analysisJournal-first paper ICGT Research Papers Juan de Lara Autonomous University of Madrid, Esther Guerra Universidad Autónoma de Madrid, P: Paolo Bottoni Sapienza University of Rome Link to publication DOI | ||
16:30 30mTalk | Taint Analysis for Graph APIs Focusing on Broken Access Control ICGT Research Papers Leen Lambers BTU Cottbus Senftenberg, P: Lucas Sakizloglou Brandenburgische Technische Universität Cottbus-Senftenberg, Osama Al-Wardi Brandenburgische Technische Universität Cottbus-Senftenberg, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg DOI | ||
Thu 11 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | ICGT Keynote SessionICGT Research Papers / Keynotes at Waaier 2 Chair(s): Jens Kosiol Universität Kassel | ||
09:00 60mKeynote | ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs Keynotes | ||
10:00 30mTalk | Can I teach graph rewriting to my chatbot? ICGT Research Papers | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Bigraph Paper of Sorts ICGT Research Papers | ||
11:30 30mTalk | Extension and Restriction of Derivations in Adhesive Categories ICGT Research Papers P: Hans-Jörg Kreowski University of Bremen, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures, Aljoscha Windhorst University of Bremen | ||
12:00 30mTalk | Generalized Weighted Type Graphs for Termination of Graph Transformation Systems ICGT Research Papers | ||
11:00 - 12:30 | |||
11:00 15mDay opening | LLM4MDE Opening LLM4MDE | ||
11:15 60mKeynote | LLM4MDE Keynote Keynotes | ||
13:30 - 15:00 | |||
13:30 30mTalk | A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models ICGT Research Papers P: Christopher Stone University of St Andrews, András Z. Salamon University of St Andrews, Ian Miguel University of St Andrews | ||
14:00 30mTalk | Graph Algebras and Derived Graph OperationsJournal-first paper ICGT Research Papers Link to publication DOI | ||
14:30 30mTalk | Linear-Time Graph Programs for Unbounded-Degree Graphs ICGT Research Papers P: Ziad Ismaili Alaoui Department of Computer Science, University of York, Detlef Plump University of York | ||
15:30 - 17:00 | |||
15:30 30mTalk | Deriving Delay-Robust Timed Graph Transformation System Models ICGT Research Papers P: Mustafa Ghani Hasso Plattner Institute, University of Potsdam, Sven Schneider Hasso-Plattner-Institut, Universität Potsdam
, Maria Maximova Hasso-Plattner-Institut für Digital Engineering gGmbH, Holger Giese Hasso Plattner Institute, University of Potsdam | ||
16:00 30mTalk | Localized RETE for Incremental Graph Queries ICGT Research Papers P: Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam Pre-print | ||
16:30 30mTalk | Using application conditions to rank graph transformations for graph repair ICGT Research Papers Lars Fritsche TU Darmstadt, Germany, P: Alexander Lauer Philipps-Universität Marburg, Andy Schürr TU Darmstadt, Gabriele Taentzer Philipps-Universität Marburg Pre-print | ||
Accepted Papers
Submission
Papers must be submitted using the STAF 2024 Easychair instance (selecting the ICGT track during the submission process):
Proceedings
Springer published the ICGT ’24 proceedings as LNCS vol. 14774 on 3 July. They are providing 4 weeks of free access to conference participants. The proceedings are accessible via the following link:
https://link.springer.com/book/978-3-031-64285-2
(Note that copying and pasting the link will not work: it must be clicked from this page.)