M 201 - ICMM 2025

VenueUniversity of Koblenz

Room nameM 201

Floor2

Room number201

Capacity150

Room InformationNo extra information available

Program

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

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

11:00 - 12:30	GCM Session 1: Bisimulation Checking, Binary Search Trees, Model SynchronizationGCM at M 201 Chair(s): Jens Kosiol Philipps-Universität Marburg

11:00 30m Paper		Implementing Binary Search Trees in GP2 (Work in Progress) GCM Detlef Plump University of York, Ziad Ismaili Alaoui University of Liverpool File Attached
11:30 30m Paper		Comparing Synchronization Blocks with Double Pushout Synchronization GCM Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany File Attached
12:00 30m Paper		Introducing The Maximum Common Bigraph Problem GCM Kyle Burns University of Glasgow, Michele Sevegnani University of Glasgow, James Trimble University of Glasgow, Ciaran Mcreesh File Attached

13:30 - 15:00	GCM Session 2: Termination of Rewriting, Graph Parsing, Graph FormulasGCM at M 201 Chair(s): Detlef Plump University of York

13:30 30m Paper		Termination of Graph Rewriting using Weighted Type Graphs over Non-well-founded Semirings GCM Qi Qiu Université Grenoble Alpes File Attached
14:00 30m Paper		Systems of Graph Formulas and their Equivalence to Alternating Graph Automata GCM Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München File Attached
14:30 30m Paper		Parsing Hypergraphs using Context-Free Positional Grammars GCM Gennaro Costagliola Università di Salerno, Federico Vastarini University of Salerno File Attached

15:30 - 17:00	GCM Session 3: Lightning Talks & Panel Discussion: Graph Transformation and AIGCM at M 201 Chair(s): Reiko Heckel University of Leicester, Leen Lambers Brandenburg University of Technology Cottbus-Senftenberg, Oszkár Semeráth Budapest University of Technology and Economics Lightning talk: 5’ presentation and max. 5’ Q&A Subsequent panel & open discussion

15:30 10m Talk		Pushing the boundary where formal language theory meets AI-assisted reasoning (Lightning Talk) GCM Federico Vastarini University of Salerno
15:40 10m Talk		Toward Safeguarding GenAI with Graph Transformation: Defining an Exchange Format in JSON (Lightning Talk) GCM Lukas Sebastian Hofmann Philipps-Universität Marburg \| Universidad Complutense de Madrid, Alexander Lauer Philipps-Universität Marburg, Jose Ignacio Requeno Complutense University of Madrid, Gabriele Taentzer Philipps-Universität Marburg
15:50 10m Talk		Towards Graph-Based Neuro-Symbolic Logic Reasoning to Improve AI Applications (Lightning Talk) GCM Kristóf Marussy Budapest University of Technology and Economics
16:00 60m Panel		Panel & open discussion: Graph Transformation and AI GCM Kristóf Marussy Budapest University of Technology and Economics, Gabriele Taentzer Philipps-Universität Marburg, Federico Vastarini University of Salerno

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

11:00 - 12:30	ICGT KeynoteICGT Research Papers at M 201 Session Chair: Matthias Tichy

11:00 90m Keynote		Keynote: Instantiation Calculus ICGT Research Papers Nicolas Behr CNRS, Université Paris Cité, IRIF

13:30 - 15:00	ICGT Session 1: Applications for Program Verification and TestingICGT Research Papers at M 201 Session Chair: Leen Lambers

13:30 30m Talk		Test Case Generation from Graph Transformation Systems using Deep Reinforcement Learning ICGT Research Papers Simin Ghasemi Arak University, Mohammadjavad Mehrabi Arak University, Vahid Rafe City St George’s, University of London, Reiko Heckel University of Leicester, Issam Al-Azzoni Al Ain University of Science, United Arab Emirates
14:00 30m Talk		Fuzzing Graph Database Applications with Graph Transformations ICGT Research Papers Stefania Dumbrava ENSIIE & Télécom SudParis , Melchior Oudemans Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology
14:30 30m Talk		Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems ICGT Research Papers Barbara König University of Duisburg-Essen, Arend Rensink University of Twente, The Netherlands, Lara Stoltenow Universität Duisburg-Essen, Fabian Urrigshardt University of Duisburg-Essen

15:30 - 17:00	ICGT Session 2: Semantics and Static AnalysisICGT Research Papers at M 201 Session Chair: Georg Hinkel

15:30 30m Talk		Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting ICGT Research Papers Qi Qiu Université Claude Bernard Lyon 1
16:00 30m Talk		Rewriting for Traced Monoidal Closed Categories ICGT Research Papers Alessandro Di Giorgio Tallinn University of Technology, Dan Ghica Huawei Research and University of Birmingham, Fabio Zanasi University College London
16:30 30m Talk		Parallel Rule Application with Doubling Avoidance ICGT Research Papers Hans-Jörg Kreowski University of Bremen, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures

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

09:00 - 10:30	ICGT KeynoteICGT Research Papers at M 201 Session Chair: Matthias Tichy

09:00 90m Keynote		Consistency in the View-Based Development of Cyber-Physical Systems ICGT Research Papers Erik Burger

11:00 - 12:30	ICGT Session 4: Graph Properties, Automata and LogicICGT Research Papers at M 201 Session Chair: Detlef Plump

11:00 30m Talk		Granular Conflict Analysis for Transformation Rules with Application Conditions ICGT Research Papers Alexander Lauer Philipps-Universität Marburg, Jens Kosiol Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg
11:30 30m Talk		Specifying and Checking Graph Properties with Alternating Graph Automata ICGT Research Papers Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München
12:00 30m Talk		Graph Formulas and their Translation to Alternating Graph Automata ICGT Research Papers Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München

13:30 - 15:00	ICGT Session 5: Applications for ModelingICGT Research Papers at M 201 Session Chair: Berthold Hoffmann

13:30 30m Talk		Dynamic Graph Rewriting for User State-Based Dialogue Adaption in Real-Time: An Application in Personalized Interview Training ICGT Research Papers Deeksha Adiani Vanderbilt University, Timothy J. Vogus Vanderbilt University, Nilanjan Sarkar Vanderbilt University, Medha Sarkar Middle Tennessee State University
14:00 30m Talk		Graph-transformational Threat Modeling ICGT Research Papers Lars Friederichs German Aerospace Center, Institute for the Protection of Maritime Infrastructures, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures

15:30 - 17:00	ICGT Session 6 - Journal FirstICGT Research Papers at M 201 Session Chair: Gabriele Taentzer

15:30 30m Talk		Using deep reinforcement learning to search reachability properties in systems specified through graph transformationtions ICGT Research Papers Vahid Rafe City St George’s, University of London, Mohammadjavad Mehrabi Arak University Link to publication DOI
16:00 30m Talk		Whole test suite generation from graph transformation specifications using ant colony optimization ICGT Research Papers Simin Ghasemi Arak University, Vahid Rafe City St George’s, University of London, Anvar Bahrampour Islamic Azad University, Reiko Heckel University of Leicester Link to publication DOI

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
M 201	GCM GCM Session 1: Bisimulation Checking, Binary Search Trees, Model Synchronization																														GCM GCM Session 2: Termination of Rewriting, Graph Parsing, Graph Formulas																								GCM GCM Session 3: Lightning Talks & Panel Discussion: Graph Transformation and AI

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
M 201	ICGT Research Papers ICGT Keynote																														ICGT Research Papers ICGT Session 1: Applications for Program Verification and Testing																								ICGT Research Papers ICGT Session 2: Semantics and Static Analysis

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
M 201	ICGT Research Papers ICGT Keynote																								ICGT Research Papers ICGT Session 4: Graph Properties, Automata and Logic																														ICGT Research Papers ICGT Session 5: Applications for Modeling																								ICGT Research Papers ICGT Session 6 - Journal First

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
M 201	GCM Implementing Binary Search Trees in GP2 (Work in Progress) 11:00 - 11:30						GCM Comparing Synchronization Blocks with Double Pushout Synchronization 11:30 - 12:00						GCM Introducing The Maximum Common Bigraph Problem 12:00 - 12:30																		GCM Termination of Graph Rewriting using Weighted Type Graphs over Non-well ... 13:30 - 14:00						GCM Systems of Graph Formulas and their Equivalence to Alternating Graph Au ... 14:00 - 14:30						GCM Parsing Hypergraphs using Context-Free Positional Grammars 14:30 - 15:00												GCM Pushing the boundary where formal language theory meets AI-assisted rea ... 15:30 - 15:40		GCM Toward Safeguarding GenAI with Graph Transformation: Defining an Exchan ... 15:40 - 15:50		GCM Towards Graph-Based Neuro-Symbolic Logic Reasoning to Improve AI Applic ... 15:50 - 16:00		GCM Panel & open discussion: Graph Transformation and AI 16:00 - 17:00

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
M 201	ICGT Research Papers Keynote: Instantiation Calculus 11:00 - 12:30																														ICGT Research Papers Test Case Generation from Graph Transformation Systems using Deep Reinf ... 13:30 - 14:00						ICGT Research Papers Fuzzing Graph Database Applications with Graph Transformations 14:00 - 14:30						ICGT Research Papers Counterexample-Guided Abstraction Refinement for Generalized Graph Tran ... 14:30 - 15:00												ICGT Research Papers Termination of Injective DPO Graph Rewriting Systems using Subgraph Cou ... 15:30 - 16:00						ICGT Research Papers Rewriting for Traced Monoidal Closed Categories 16:00 - 16:30						ICGT Research Papers Parallel Rule Application with Doubling Avoidance 16:30 - 17:00

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
M 201	ICGT Research Papers Consistency in the View-Based Development of Cyber-Physical Systems 09:00 - 10:30																								ICGT Research Papers Granular Conflict Analysis for Transformation Rules with Application Co ... 11:00 - 11:30						ICGT Research Papers Specifying and Checking Graph Properties with Alternating Graph Automata 11:30 - 12:00						ICGT Research Papers Graph Formulas and their Translation to Alternating Graph Automata 12:00 - 12:30																		ICGT Research Papers Dynamic Graph Rewriting for User State-Based Dialogue Adaption in Real- ... 13:30 - 14:00						ICGT Research Papers Graph-transformational Threat Modeling 14:00 - 14:30																		ICGT Research Papers Using deep reinforcement learning to search reachability properties in ... 15:30 - 16:00						ICGT Research Papers Whole test suite generation from graph transformation specifications us ... 16:00 - 16:30

Room information: M 201

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

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

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

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

GCM

GCM

GCM

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

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

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

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

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

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

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

Tracks

Room information: M 201

Program Display Configuration

Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

GCM

GCM

GCM

Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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