STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands

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 2024 27 Feb 2024
  • Paper Submission: 27 Feb 2024 5 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).

Dates
Tracks
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
WADT Keynote Session 1Keynotes / WADT Research papers at Waaier 3
Chair(s): Tom van Dijk University of Twente
09:00
60m
Keynote
WADT Keynote 1 - Some Uses of Modal Semirings
Keynotes
K: Bernhard Möller University of Augsburg
File Attached
10:00
30m
Talk
Bialgebraic Representation of Controlled Coordination of Interacting System Components
WADT Research papers
P: Harald König FHDW University of Applied Sciences, Uwe Wolter University of Bergen
File Attached
13:30 - 15:00
WADT Keynote Session 2WADT Research papers / Keynotes at Waaier 3
Chair(s): Uwe Wolter University of Bergen
13:30
60m
Keynote
WADT Keynote 2 - Common Meadows with Infinite Values
Keynotes
K: Jan Bergstra University of Amsterdam
File Attached
14:30
30m
Talk
Categories of Algebraic Rewrite Rules
WADT Research papers
P: Thierry Boy de La Tour CNRS and University Grenoble Alpes
File Attached

Tue 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
ECMFA Keynote SessionKeynotes at Waaier 2
09:00
90m
Keynote
ECMFA Keynote - From Data Chaos to Decision Making
Keynotes
K: Agnes Koschmider University of Bayreuth

Wed 10 Jul

Displayed 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
15m
Day opening
ICGT Opening
ICGT Research Papers

09:15
75m
Keynote
ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Analysis
Keynotes
K: Marielle Stoelinga University of Twente and Radboud University, Nijmegen
10:30 - 11:00
BreakCatering at Hal B
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
ICGT Session 1ICGT Research Papers at Waaier 2
Chair(s): Russ Harmer CNRS
11:00
30m
Talk
Causal Graph Dynamics and Kan ExtensionsICGT Best Theory Paper
ICGT Research Papers
Luidnel Maignan Univ. Paris-Créteil, P: Antoine Spicher LACL, Université Paris-Est Créteil
Pre-print File Attached
11:30
30m
Talk
The ‘Causality’ Quagmire for Formalised Bond Graphs
ICGT Research Papers
P: Richard Banach University of Manchester, John Baugh North Carolina State University
12:00
30m
Talk
Tracelet Hopf Algebras and Decomposition SpacesJournal-first paper
ICGT Research Papers
P: Nicolas Behr CNRS, Université Paris Cité, IRIF
Link to publication DOI Media Attached
12:30 - 13:30
LunchCatering at Hal B
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
ICGT Session 2ICGT Research Papers at Waaier 2
Chair(s): Reiko Heckel University of Leicester
13:30
90m
Tutorial
Gentle Introduction to LMNtal: Language Design and ImplementationTutorial
ICGT Research Papers
P: Kazunori Ueda Waseda University
Link to publication Pre-print
13:30 - 15:00
AgileMDE Keynote SessionKeynotes at Waaier 3
13:30
90m
Keynote
AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes
Keynotes
K: Iván Alfonso Luxembourg Institute of Science and Technology
15:00 - 15:30
BreakCatering at Hal B
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
ICGT Session 3ICGT Research Papers at Waaier 2
Chair(s): Fernando Orejas Universitat Politècnica de Catalunya
15:30
30m
Talk
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, P: Jingxuan Qiu Delft University of Technology
16:00
30m
Talk
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
30m
Talk
Taint Analysis for Graph APIs Focusing on Broken Access ControlICGT Best Applications Paper
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
18:00 - 22:00
STAF Conferences DinnerCatering at Museumfabriek
18:00
4h
Dinner
Dinner
Catering

Thu 11 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
ICGT Keynote SessionICGT Research Papers / Keynotes at Waaier 3
Chair(s): Jens Kosiol Universität Kassel
09:00
60m
Keynote
ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs
Keynotes
K: Tiago Prince Sales Semantics, Cybersecurity and Services, University of Twente
10:00
30m
Talk
Can I teach graph rewriting to my chatbot?
ICGT Research Papers
P: Reiko Heckel University of Leicester, Issam Al-Azzoni Al Ain University, United Arab Emirates
File Attached
10:30 - 11:00
BreakCatering at Hal B
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
ICGT Session 4ICGT Research Papers at Waaier 1
Chair(s): Detlef Plump University of York
11:00
30m
Talk
A Bigraph Paper of Sorts
ICGT Research Papers
P: Blair Archibald University of Glasgow, Michele Sevegnani University of Glasgow
11:30
30m
Talk
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
30m
Talk
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems
ICGT Research Papers
Joerg Endrullis Vrije Universiteit Amsterdam, Roy Overbeek Vrije Universiteit Amsterdam
11:00 - 12:30
LLM4MDE Keynote SessionLLM4MDE / Keynotes at Waaier 3
11:00
15m
Day opening
LLM4MDE Opening
LLM4MDE
O: Riccardo Rubei University of L'Aquila
File Attached
11:15
60m
Keynote
LLM4MDE Keynote: Harnessing Large Language Models for Model-Driven Engineering: Current Applications and Future Directions
Keynotes
K: Juri Di Rocco University of L'Aquila
File Attached
12:30 - 13:30
LunchCatering at Hal B
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
13:30
30m
Talk
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
30m
Talk
Graph Algebras and Derived Graph OperationsJournal-first paper
ICGT Research Papers
P: Uwe Wolter University of Bergen, Tam Truong University of Bergen
Link to publication DOI
14:30
30m
Talk
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:00 - 15:30
BreakCatering at Hal B
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
ICGT Session 6ICGT Research Papers at Waaier 1
Chair(s): Arend Rensink University of Twente, The Netherlands
15:30
30m
Talk
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
30m
Talk
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
30m
Talk
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

Title
A Bigraph Paper of Sorts
ICGT Research Papers
A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models
ICGT Research Papers
Can I teach graph rewriting to my chatbot?
ICGT Research Papers
File Attached
Causal Graph Dynamics and Kan ExtensionsICGT Best Theory Paper
ICGT Research Papers
Pre-print File Attached
Checking Transaction Isolation Violations with Graph Queries
ICGT Research Papers
Deriving Delay-Robust Timed Graph Transformation System Models
ICGT Research Papers
Extension and Restriction of Derivations in Adhesive Categories
ICGT Research Papers
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems
ICGT Research Papers
Graph Algebras and Derived Graph OperationsJournal-first paper
ICGT Research Papers
Link to publication DOI
Linear-Time Graph Programs for Unbounded-Degree Graphs
ICGT Research Papers
Localized RETE for Incremental Graph Queries
ICGT Research Papers
Pre-print
Modular language product lines: concept, tool and analysisJournal-first paper
ICGT Research Papers
Link to publication DOI
Taint Analysis for Graph APIs Focusing on Broken Access ControlICGT Best Applications Paper
ICGT Research Papers
DOI
The ‘Causality’ Quagmire for Formalised Bond Graphs
ICGT Research Papers
Tracelet Hopf Algebras and Decomposition SpacesJournal-first paper
ICGT Research Papers
Link to publication DOI Media Attached
Using application conditions to rank graph transformations for graph repair
ICGT Research Papers
Pre-print

Submission

Papers must be submitted using the STAF 2024 Easychair instance (selecting the ICGT track during the submission process):

https://easychair.org/conferences/?conf=staf2024

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.)