STAF 2026 (series) / GCM 2026 (series) /
GCM 2026 Program
This is the GCM 2026 program - see the full program for STAF 2026 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 09:00 | |||
09:00 - 10:30 | |||
09:00 15mDay opening | Opening Remarks GCM | ||
09:15 60mTalk | Purr-spectives on graphs GCM I: Jade Alglave Arm and University College London, Artem Khyzha Arm Ltd, Luc Maranget Inria, Nikos Nikoleris Arm Research, Hadrien Renaud University College London, Filippo Sestini Arm | ||
10:15 15mTalk | Towards Neuro-Symbolic Assurance for Artificial Intelligence via Graph Transformation GCM Lukas Sebastian Hofmann Philipps-Universität Marburg | Universidad Complutense de Madrid, Jens Kosiol Brandenburgische Technische Universität Cottbus-Senftenberg, Jose Ignacio Requeno Complutense University of Madrid, Reiko Heckel University of Leicester, Gabriele Taentzer Philipps-Universität Marburg | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | Structural Morphism for Nested Conditions GCM | ||
11:30 30mTalk | A nesting-free normal form for nested conditions in finite lattices of subgraphs GCM Jens Kosiol Brandenburgische Technische Universität Cottbus-Senftenberg, Steffen Zschaler King's College London Pre-print | ||
12:00 15mTalk | Preliminary Study of Interaction Nets Applicability for Sparse Linear Algebra Based Graph Analysis GCM Semyon Grigorev Saint-Petersburg State University, Nikolai Ponomarev Saint Petersburg State University, Efim Kubishkin Saint Petersburg State University, Danil Zaripov Saint Petersburg State University, Georgy Sichkar Saint Petersburg State University, Vladimir Zaikin Saint Petersburg State University | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
13:40 - 15:10 | |||
13:40 60mTalk | Generalization of Graph Neural Networks on latent random graphs GCM | ||
14:40 30mTalk | Parsing with Graph Grammars based on Conditional Borrowing Hyperedge Replacement GCM Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break Catering | ||
15:40 - 16:40 | |||
15:40 30mTalk | Space-time deterministic graph rewriting GCM Marin Costes Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Pablo Arrighi Université Paris-Saclay, CNRS, LMF, Gilles Dowek INRIA and ENS Paris-Saclay, Luidnel Maignan LACL, Université Paris-Est Créteil | ||
16:10 15mTalk | BigraphIDE: An Integrated Development Environment for Bigraph Modeling and Evolution using Rewrite Rules GCM Manuel Krombholz TU Dresden, Dominik Grzelak Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany | ||
16:25 15mTalk | Structuring the Design Space of Graph Transformation Frameworks Across Graph Families GCM Vadim Zaytsev University of Twente Pre-print | ||
18:00 - 19:00 | Reception at the Hôtel de Ville of RennesSocial Events | ||
19:15 - 21:00 | Dinner at Kraz’s crêperieSocial Events | ||
Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break Catering | ||
18:00 - 19:30 | Guided visit of the historical center of RennesSocial 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 Catering | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break Catering | ||
19:30 - 22:00 | Gala dinnerSocial 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 Catering | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break Catering | ||