STAF 2025
Tue 10 - Fri 13 June 2025 Koblenz, Germany

Tue 10 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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
10m
Talk
Pushing the boundary where formal language theory meets AI-assisted reasoning (Lightning Talk)
GCM
Federico Vastarini University of Salerno
15:40
10m
Talk
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
10m
Talk
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
60m
Panel
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