STAF 2026 (series) / ICGT 2026 (series) /
ICGT 2026 Program
This is the ICGT 2026 program - see the full program for STAF 2026 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break STAF Catering | ||
18:00 - 19:00 | Reception at the Hôtel de Ville of RennesSTAF Social Events | ||
19:15 - 21:00 | Dinner at Kraz’s crêperieSTAF Social Events | ||
Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 09:00 | |||
09:00 - 09:15 | WelcomeICGT Research Papers at Auditorium Chair(s): Blair Archibald University of Glasgow, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Oszkár Semeráth Budapest University of Technology and Economics | ||
09:00 15mDay opening | Welcome ICGT Research Papers | ||
09:15 - 10:30 | KeynoteICGT Research Papers at Auditorium Chair(s): Blair Archibald University of Glasgow, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Oszkár Semeráth Budapest University of Technology and Economics | ||
09:15 75mKeynote | From Plans to Binaries: Evolving Neo4j and Graph Runtimes with Project Aurendil ICGT Research Papers James Clarkson Neo4j Link to publication | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | Conditional Borrowing Hyperedge Replacement ICGT Research Papers Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München | ||
11:30 30mTalk | LR-Based Parsing of Hypergraph Languages: a Positional Grammar Approach ICGT Research Papers Gennaro Costagliola Università di Salerno, Mattia De Rosa University of Salerno, Salvatore La Torre Università degli Studi di Salerno | ||
12:00 30mTalk | Parallel Transformations as Colimits ICGT Research Papers Thierry Boy de La Tour CNRS and University Grenoble Alpes | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars ICGT Research Papers Alexander Ferber RWTH Aachen University, Ira Fesefeldt Universität Duisburg-Essen, Thomas Noll RWTH Aachen University, Emmett Rayes RWTH Aachen University | ||
14:00 30mTalk | Formalising and Verifying Graph Programs with Higher-Order Logic ICGT Research Papers | ||
14:30 30mTalk | Higher-order Graph Transformation Utilizing Diagram Categories 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:10 - 15:40 | |||
15:10 30mCoffee break | Break STAF Catering | ||
15:40 - 17:10 | Session 3ICGT Research Papers at Auditorium Chair(s): Arend Rensink University of Twente, The Netherlands | ||
15:40 30mTalk | Benchmark First: Defining Tasks for Graph Transformation Learning ICGT Research Papers | ||
16:10 30mTalk | Diagrammatic Specifications and Nested Graph Conditions ICGT Research Papers Uwe Wolter University of Bergen | ||
19:00 - 20:30 | Guided visit of the historical center of RennesSTAF Social Events | ||
Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | EvolveGDB: Model-Driven Graph Schema Transformation ICGT Research Papers Torben Eckwert Forschungscampus Mittelhessen, Dominique Hausler University of Regensburg, Meike Klettke Universität Rostock, Michael Guckert Technische Hochschule Mittelhessen–University of Applied Sciences, Gabriele Taentzer Philipps-Universität Marburg | ||
11:30 30mTalk | GHL: An Extensible Library for Flexible and Performant Graph Pattern Matching and Rewriting ICGT Research Papers Tunaberk Almaci ETH Zurich, Corey Lammie IBM, Hadjer Benmeziane IBM, Clément Fournier TU Dresden, Orhun Görkem IBM, Irem Boybat IBM, William Andrew Simon IBM | ||
12:00 30mTalk | User-defined Operations in GROOVE ICGT Research Papers Arend Rensink University of Twente, The Netherlands | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering | ||
13:30 - 15:10 | Session 5ICGT Research Papers at Petri Chair(s): Oszkár Semeráth Budapest University of Technology and Economics | ||
13:30 30mTalk | CGACell: A Cellular Automata-Based Graph Transformation Framework for Neural Pooling ICGT Research Papers Doru Constantin The National University of Science and Technology POLITEHNICA Bucharest, Pitesti University Centre, Costel Bălcău The National University of Science and Technology POLITEHNICA Bucharest, Pitesti University Centre | ||
14:00 30mTalk | Conflict Essences for Transformation Rules with Nested Application Conditions ICGT Research Papers Alexander Lauer Philipps-Universität Marburg, Jens Kosiol Brandenburgische Technische Universität Cottbus-Senftenberg, Leen Lambers Brandenburg University of Technology Cottbus-Senftenberg, Gabriele Taentzer Philipps-Universität Marburg Pre-print | ||
14:30 30mTalk | From Graph Rewriting to Markov Automata: Mass-Action Semantics for Stochastic and Probabilistic Systems ICGT Research Papers | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break STAF Catering | ||
19:30 - 22:00 | Gala dinnerSTAF Social Events | ||
Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break STAF Catering | ||