STAF 2025 (series) / GCM 2025 (series) /
GCM 2025 Program
This is the GCM 2025 program - see the full program for STAF 2025 and all affiliated events.
Filter Program
Dates
Tue 10 Jun 2025
Rooms
M 201
Tracks
GCM
Badges
Nothing to filter
Your Program
Nothing to filter
Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 30mPaper | Implementing Binary Search Trees in GP2 (Work in Progress) GCM File Attached | ||
11:30 30mPaper | Comparing Synchronization Blocks with Double Pushout Synchronization GCM Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany File Attached | ||
12:00 30mPaper | 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 30mPaper | Termination of Graph Rewriting using Weighted Type Graphs over Non-well-founded Semirings GCM Qi Qiu Université Grenoble Alpes File Attached | ||
14:00 30mPaper | 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 30mPaper | Parsing Hypergraphs using Context-Free Positional Grammars GCM 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 10mTalk | Pushing the boundary where formal language theory meets AI-assisted reasoning (Lightning Talk) GCM Federico Vastarini University of Salerno | ||
15:40 10mTalk | 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 10mTalk | 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 60mPanel | 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 | ||