GCM 2026
Tue 30 Jun 2026
co-located with
STAF 2026
Toggle navigation
Attending
Venue: How to get to INRIA Center, University of Rennes ?
Program
GCM Program
Your Program
Tue 30 Jun
Tracks
GCM 2026
GCM 2026
STAF 2026
Social Events
Organization
GCM 2026 Committees
Track Committees
Organizers
Program Committee
Contributors
People Index
Search
Series
Series
GCM 2026
GCM 2025
GCM 2024
GCM 2023
Sign in
Sign up
STAF 2026
(
series
) /
GCM 2026 (
series
) /
How to get to INRIA Center, University of Rennes ?
/
Room information: Petri
Venue
How to get to INRIA Center, University of Rennes ?
Room name
Petri
Floor
1
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
.
Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, Paris
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Tue 30 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 10:30
Session 1
GCM 2026
at
Petri
09:00
60m
Talk
Purr-spectives on graphs
GCM 2026
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:00
30m
Talk
Towards Neuro-Symbolic Assurance for Artificial Intelligence via Graph Transformation
GCM 2026
P:
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
11:00 - 12:30
Session 2
GCM 2026
at
Petri
11:00
30m
Talk
Structural Morphism for Nested Conditions
GCM 2026
Arend Rensink
University of Twente, The Netherlands
,
P:
Andrea Corradini
University of Pisa
11:30
30m
Talk
A nesting-free normal form for nested conditions in finite lattices of subgraphs
GCM 2026
P:
Jens Kosiol
Brandenburgische Technische Universität Cottbus-Senftenberg
,
Steffen Zschaler
King's College London
Pre-print
12:00
15m
Talk
Preliminary Study of Interaction Nets Applicability for Sparse Linear Algebra Based Graph Analysis
GCM 2026
P:
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
13:40 - 15:10
Session 3
GCM 2026
at
Petri
13:40
60m
Talk
Generalization of Graph Neural Networks on latent random graphs
GCM 2026
I:
Nicolas Keriven
CNRS
14:40
30m
Talk
Parsing with Graph Grammars based on Conditional Borrowing Hyperedge Replacement
GCM 2026
Frank Drewes
Umeå universitet
,
Berthold Hoffmann
Universitt Bremen
,
P:
Mark Minas
Universität der Bundeswehr München
15:40 - 16:40
Session 4
GCM 2026
at
Petri
15:40
30m
Talk
Space-time deterministic graph rewriting
GCM 2026
P:
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
15m
Talk
BigraphIDE: An Integrated Development Environment for Bigraph Modeling and Evolution using Rewrite Rules
GCM 2026
Manuel Krombholz
TU Dresden
,
Dominik Grzelak
Technische Universität Dresden
,
Uwe Aßmann
TU Dresden, Germany
16:25
15m
Talk
Structuring the Design Space of Graph Transformation Frameworks Across Graph Families
GCM 2026
Vadim Zaytsev
University of Twente
Pre-print
16:40 - 17:30
Joint GCM/WADT Special Session
WADT
at
Petri
Session Chair: Uwe Wolter
16:40 - 17:30
Joint GCM/WADT Special Session
GCM 2026
at
Petri
Wed 1 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
11:00 - 12:30
Language Models
ECMFA
at
Petri
Chair(s):
Dominik Bork
TU Wien, Vienna, Austria
11:00
30m
Talk
Assessing the Scalability of Graph Predicate Evaluation with Large Language Models
ECMFA
Rebeka Farkas
Budapest University of Technology and Economics
,
Kristóf Marussy
Budapest University of Technology and Economics
,
Oszkár Semeráth
Budapest University of Technology and Economics
11:30
30m
Talk
Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution
ECMFA
Weixing Zhang
Karlsruhe Institute of Technology (KIT)
,
Bowen Jiang
Karlsruhe Institute of Technology
,
Rahul Sharma
Karlsruhe Institute of Technology
,
Regina Hebig
Universität Rostock, Rostock, Germany
,
Daniel Strüber
Chalmers | University of Gothenburg / Radboud University
12:00
30m
Talk
Structural-Semantic Clustering for Architectural Models
ECMFA
Thi Dinh Tran
Gran Sasso Science Institute
,
Maria Teresa Rossi
University of Milano Bicocca, Italy
,
Davide Soldati
University of Milano-Bicocca
,
Mauro Sonzogni
University of Milano-Bicocca
,
Amleto Di Salle
Gran Sasso Science Institute, L'Aquila, Italy
,
Ludovico Iovino
Gran Sasso Science Institute, L'Aquila, Italy
,
Leonardo Mariani
University of Milano-Bicocca
13:30 - 15:00
Language Models
ECMFA
at
Petri
Chair(s):
Oszkár Semeráth
Budapest University of Technology and Economics
13:30
30m
Talk
EMF-Kaizen: an intelligent assistant for domain-specific modelling and meta-modelling
ECMFA
Lissette Almonte
Universidad Autónoma de Madrid
,
Jefferson Ivan Rengifo
Universidad Autónoma de Madrid
,
Esther Guerra
Universidad Autónoma de Madrid
,
Juan de Lara
Autonomous University of Madrid
Link to publication
Pre-print
Media Attached
14:00
30m
Talk
LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
ECMFA
Bowen Jiang
Karlsruhe Institute of Technology
,
Nathan Hagel
Karlsruhe Institute of Technology (KIT)
,
Haowei Cheng
Waseda University
,
Benedikt Jutz
Karlsruhe Institute of Technology (KIT)
,
Arne Lange
Karlsruhe Institute of Technology (KIT)
,
Weixing Zhang
Karlsruhe Institute of Technology (KIT)
,
Rahul Sharma
Karlsruhe Institute of Technology
,
Ralf Reussner
Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
,
Anne Koziolek
Karlsruhe Institute of Technology
14:30
30m
Talk
LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling
ECMFA
James Pontes Miranda
CEA LIST
,
Ansgar Radermacher
Université Paris-Saclay, CEA List, Palaiseau
,
Marcos Didonet Del Fabro
CEA-List
,
Fabien Baligand
Université Paris-Saclay, CEA List, Palaiseau
,
Julie Bonnail
Université Paris-Saclay, CEA List, Palaiseau
,
Pascal Bannerot
Université Paris-Saclay, CEA List, Palaiseau
,
Kunal Suri
Université Paris-Saclay, CEA List, Palaiseau
15:40 - 17:10
Consistency and Composition
ECMFA
at
Petri
Chair(s):
Georg Hinkel
RheinMain University of Applied Sciences, Wiesbaden, Germany
15:40
30m
Talk
Capturing and Organizing Reusable Interaction Practices Using Justification and Feature Models
ECMFA
Sébastien Mosser
McMaster University
,
Shyam Ravichandran
McMaster University
,
Kalvin Thuan-Phong Khuu
McMaster University, McSCert
,
Brian Detlor
McMaster University
,
Denise Geiskkovitch
McMaster University
,
Anne-Marie Pinna-Déry
I3S
,
P.J. White
SETU
16:10
30m
Talk
Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models
ECMFA
Karl Kegel
Technische Universität Dresden
,
Kevin Feichtinger
Karlsruhe Institute of Technology (KIT)
,
Terru Stübinger
Karlsruhe Institut für Technologie
,
Romain Pascual
MICS, CentraleSupélec, Université Paris-Saclay
,
Bernhard Beckert
Karlsruhe Institute of Technology
,
Ralf Reussner
KIT
,
Uwe Aßmann
TU Dresden, Germany
16:40
30m
Talk
Incremental Task-Driven Composition of Heterogeneous Software Models for Legacy System Maintenance
ECMFA
Azam Mahdipour
McMaster Centre for Software Certification
,
Vera Pantelic
McMaster Centre for Software Certification
,
Sébastien Mosser
McMaster University
Thu 2 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
11:00 - 12:30
Session 4
ICGT Research Papers
at
Petri
Chair(s):
Stefania Dumbrava
ENSIIE & Télécom SudParis
11:00
30m
Talk
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
30m
Talk
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
30m
Talk
User-defined Operations in GROOVE
ICGT Research Papers
Arend Rensink
University of Twente, The Netherlands
13:30 - 15:10
Session 5
ICGT Research Papers
at
Petri
Chair(s):
Oszkár Semeráth
Budapest University of Technology and Economics
13:30
30m
Talk
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
30m
Talk
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
30m
Talk
From Graph Rewriting to Markov Automata: Mass-Action Semantics for Stochastic and Probabilistic Systems
ICGT Research Papers
Reiko Heckel
University of Leicester, United Kingdom
,
Neel Lad
University of Leicester
17:00 - 18:30
Closed SLE Steering Committee Meeting
SLE
at
Petri
Tue 30 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Petri
GCM 2026
Session 1
GCM 2026
Session 2
GCM 2026
Session 3
GCM 2026
Session 4
WADT
Joint GCM/WADT Special Session
GCM 2026
Joint GCM/WADT Special Session
16:40 - 17:30
Wed 1 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Petri
ECMFA
Language Models
ECMFA
Language Models
ECMFA
Consistency and Composition
Thu 2 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Petri
ICGT Research Papers
Session 4
ICGT Research Papers
Session 5
SLE
Closed SLE Steering Committee Meeting
Tue 30 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
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
Petri
GCM
Purr-spectives on graphs
09:00 - 10:00
GCM
Towards Neuro-Symbolic Assurance for Artificial Intelligence via Graph ...
10:00 - 10:30
GCM
Structural Morphism for Nested Conditions
11:00 - 11:30
GCM
A nesting-free normal form for nested conditions in finite lattices of ...
11:30 - 12:00
GCM
Preliminary Study of Interaction Nets Applicability for Sparse Linear A ...
12:00 - 12:15
GCM
Generalization of Graph Neural Networks on latent random graphs
13:40 - 14:40
GCM
Parsing with Graph Grammars based on Conditional Borrowing Hyperedge Re ...
14:40 - 15:10
GCM
Space-time deterministic graph rewriting
15:40 - 16:10
GCM
BigraphIDE: An Integrated Development Environment for Bigraph Modeling ...
16:10 - 16:25
GCM
Structuring the Design Space of Graph Transformation Frameworks Across ...
16:25 - 16:40
Wed 1 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
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
17:00
15
30
45
Petri
ECMFA
Assessing the Scalability of Graph Predicate Evaluation with Large Lang ...
11:00 - 11:30
ECMFA
Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co ...
11:30 - 12:00
ECMFA
Structural-Semantic Clustering for Architectural Models
12:00 - 12:30
ECMFA
EMF-Kaizen: an intelligent assistant for domain-specific modelling and ...
13:30 - 14:00
ECMFA
LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transf ...
14:00 - 14:30
ECMFA
LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamod ...
14:30 - 15:00
ECMFA
Capturing and Organizing Reusable Interaction Practices Using Justifica ...
15:40 - 16:10
ECMFA
Investigating Novice Modelers’ Intuitive Consistency Notions for the Ca ...
16:10 - 16:40
ECMFA
Incremental Task-Driven Composition of Heterogeneous Software Models fo ...
16:40 - 17:10
Thu 2 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
Petri
ICGT Research Papers
EvolveGDB: Model-Driven Graph Schema Transformation
11:00 - 11:30
ICGT Research Papers
GHL: An Extensible Library for Flexible and Performant Graph Pattern Ma ...
11:30 - 12:00
ICGT Research Papers
User-defined Operations in GROOVE
12:00 - 12:30
ICGT Research Papers
CGACell: A Cellular Automata-Based Graph Transformation Framework for N ...
13:30 - 14:00
ICGT Research Papers
Conflict Essences for Transformation Rules with Nested Application Cond ...
14:00 - 14:30
ICGT Research Papers
From Graph Rewriting to Markov Automata: Mass-Action Semantics for Stoc ...
14:30 - 15:00
x
Thu 16 Jul 09:44