Program - ICGT 2024

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 1STAF Keynotes / WADT at Waaier 3 Chair(s): Tom van Dijk University of Twente

09:00 60m Keynote		WADT Keynote 1 - Some Uses of Modal Semirings STAF Keynotes K: Bernhard Möller University of Augsburg File Attached
10:00 30m Talk		Bialgebraic Representation of Controlled Coordination of Interacting System Components WADT P: Harald König FHDW University of Applied Sciences, Uwe Wolter University of Bergen File Attached

13:30 - 15:00	WADT Keynote Session 2WADT / STAF Keynotes at Waaier 3 Chair(s): Uwe Wolter University of Bergen

13:30 30m Keynote		WADT Keynote 2 - Conditional Equational Logic of Common Meadows STAF Keynotes K: Jan Bergstra University of Amsterdam
14:00 30m Talk		Categories of Algebraic Rewrite Rules WADT P: Thierry Boy de La Tour CNRS and University Grenoble Alpes File Attached
14:30 30m Talk		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 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	ECMFA Keynote SessionSTAF Keynotes at Waaier 2

09:00 90m Keynote		ECMFA Keynote - From Data Chaos to Decision Making STAF 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 SessionSTAF Keynotes / 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 STAF Keynotes K: Marielle Stoelinga University of Twente and Radboud University, Nijmegen

11:00 - 12:30	ICGT Session 1ICGT Research Papers at Waaier 2

11:00 30m Talk		Causal Graph Dynamics and Kan Extensions ICGT Research Papers Luidnel Maignan Univ. Paris-Créteil, P: Antoine Spicher LACL, Université Paris-Est Créteil Pre-print
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

11:00 - 12:30	MeSS Keynote SessionSTAF Keynotes at Waaier 3 Chair(s): Robbert Jongeling Mälardalen University

11:00 90m Keynote		MeSS Keynote: It's Patterns all the Way Down: Patterns, Anti-Patterns and Pattern Languages for Next-Generation Semantic Modelling STAF Keynotes K: Giancarlo Guizzardi

13:30 - 15:00	ICGT Session 2ICGT Research Papers at Waaier 2

13:30 90m Tutorial		Gentle Introduction to LMNtal: Language Design and ImplementationTutorial ICGT Research Papers P: Kazunori Ueda Waseda University Link to publication

13:30 - 15:00	AgileMDE Keynote SessionSTAF Keynotes at Waaier 3

13:30 90m Keynote		AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes STAF Keynotes K: Iván Alfonso Luxembourg Institute of Science and Technology

15:30 - 17:00	ICGT Session 3ICGT Research Papers at Waaier 2

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, 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 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 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	ICGT Keynote SessionICGT Research Papers / STAF Keynotes at Waaier 2 Chair(s): Jens Kosiol Universität Kassel

09:00 60m Keynote		ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs STAF 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

11:00 - 12:30	ICGT Session 4ICGT Research Papers at Waaier 2

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-Jö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 / STAF Keynotes at Waaier 3

11:00 15m Day opening		LLM4MDE Opening LLM4MDE O: Riccardo Rubei University of L'Aquila
11:15 60m Keynote		LLM4MDE Keynote STAF Keynotes K: Juri Di Rocco University of L'Aquila

13:30 - 15:00	ICGT Session 5ICGT Research Papers at Waaier 2

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:30 - 17:00	ICGT Session 6ICGT Research Papers at Waaier 2

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

ICGT 2024 Program

This program is tentative and subject to change.

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

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

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

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

Tracks

STAF 2024

ICGT 2024 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Mon 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

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

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

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

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