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


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

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