Program - ICGT 2025

Detailed Table Session Timeline Detailed Timeline

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

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

ICGT 2025 Program

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

ICGT 2025 Program

Switch Program View

Program Display Configuration

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

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

Get Calendar (iCal)

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