Auditorium - GCM 2026

VenueHow to get to INRIA Center, University of Rennes ?

Room nameAuditorium

Room InformationNo extra information available

Program

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, ParisSelect other time zone

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 programSpecify 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

	08:30 - 09:00	RegistrationWADT at Auditorium

	08:30 - 09:00	RegistrationGCM 2026 at Auditorium

	08:30 - 09:00	RegistrationECMFA at Auditorium

	08:30 - 09:00	RegistrationLLM4SE at Auditorium

09:00 - 09:20	Welcome and openingECMFA at Auditorium Chair(s): Önder Babur Wageningen University & Research, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004)

09:00 20m Day opening		Welcome ECMFA

09:20 - 10:30	KeynoteECMFA at Auditorium

09:20 70m Keynote		From Software Language Engineering to Digital Twin Engineering ECMFA Mark van den Brand Eindhoven University of Technology

11:00 - 12:30	TransformationsECMFA at Auditorium Chair(s): Önder Babur Wageningen University & Research

11:00 30m Talk		CoCoPath: Concolic Exploration of Consistency-Preserving Paths ECMFA Bowen Jiang Karlsruhe Institute of Technology, Miriam Boss Karlsruhe Institute of Technology (KIT), Thomas Weber Karlsruhe Institute of Technology (KIT), Weixing Zhang Karlsruhe Institute of Technology (KIT), Mattias Ulbrich KIT, Anne Koziolek Karlsruhe Institute of Technology
11:30 30m Talk		From Constraints to Commands: Graph Pattern Differentiation in 4-Valued First-Order Logic ECMFA Attila Ficsor Budapest University of Technology and Economics, Inez Anna Papp 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
12:00 30m Talk		Language Design of the NeoJoin View Definition Language ECMFA Lars König Karlsruhe Institute of Technology (KIT), Tobias Stickling Karlsruhe Institute of Technology (KIT), Alexander Kocher Karlsruhe Institute of Technology (KIT), Hüseyin Kemâl Çakmak Karlsruhe Institute of Technology (KIT), Erik Burger Karlsruhe Institute of Technology (KIT), Veit Hagenmeyer Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)

13:30 - 15:10	Digital Twins and Cyber-Physical SystemsECMFA at Auditorium Chair(s): Jean-Philippe Babau Lab-STICC / UBO

13:30 25m Talk		Model-Based Development of Digital Twins in Industry 4.0 ECMFA Lina Bilal Université de Rennes, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Jean-Marc Jézéquel Univ Rennes, IUF, INRIA, CNRS, IRISA, Quentin Perez INSA Rennes
13:55 25m Talk		Module-based Modelling and Assessment of Modular Robots w.r.t. Energy Efficiency ECMFA Antonios Naguib Université Marie et Louis Pasteur, FEMTO-ST Institute UMR CNRS 6174, France, Olga Kouchnarenko Femto-ST / Université de Franche-Comté, Frédéric Lassabe Université Marie et Louis Pasteur, FEMTO-ST Institute UMR 6174 CNRS, France
14:20 25m Talk		Product Digital Twin Ontology: A Pivot for Bridging Asset Administration Shell–based and Ontology-based Digital Product Passports ECMFA Quang-Duy Nguyen Université Paris-Saclay, CEA, List, Fatima Danash Université Paris-Saclay, CEA, List, F-91120, Palaiseau, France, Arnab SINHA Université Paris-Saclay, CEA, List, F-91120, Palaiseau, France, Chokri Mraidha Université Paris-Saclay, CEA, List Link to publication
14:45 25m Talk		Semantic Drift Management in Digital Twins ECMFA Faima Abbasi Luxembourg Institute of Science and Technology and University of Luxembourg, Jean Sebastien Sottet Luxembourg Institute of Science and Technology and University of Luxembourg, Cedric Pruski Luxembourg Institute of Science and Technology and University of Luxembourg

15:40 - 17:20	Domain-Specific Modeling LanguagesECMFA at Auditorium Chair(s): Houari Sahraoui DIRO, Université de Montréal

15:40 25m Talk		A Model-Driven Approach To Support The Understanding Of Machine Learning Pipelines ECMFA Nicolas Lacroix Université Côte d'Azur, I3S, Mireille Blay-Fornarino Université Nice Sophia Antipolis, I3S, Philippe Collet University of Nice, Frederic Precioso Laboratoire I3S UMR UNS-CNRS 7271, Sébastien Mosser McMaster University
16:05 25m Talk		An Interpreter-Based Execution Framework for IEC 61499 Function Block Networks ECMFA Bianca Wiesmayr Ulm University, Antonio Garmendia Universidad Autónoma de Madrid, Alois Zoitl LIT CPS Lab, Johannes Kepler University Linz, Manuel Wimmer JKU Linz
16:30 25m Talk		Sock: A Clock-Based Modeling Language to Specify Secure Periodic Real-Time Tasks ECMFA Stéphanie Challita University of Rennes / IRISA, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA
16:55 25m Talk		Weaving executable models and code for software development ECMFA Hugo Richard Lab-STICC / UBO, Eric Cariou Lab-STICC UMR6285, Université de Brest, Jean-Philippe Babau Lab-STICC / UBO

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

	08:30 - 09:00	RegistrationAgile MDE at Auditorium

	08:30 - 09:00	RegistrationICGT Research Papers at Auditorium

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 15m Day 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 75m Keynote		From Plans to Binaries: Evolving Neo4j and Graph Runtimes with Project Aurendil ICGT Research Papers James Clarkson Neo4j Link to publication

11:00 - 12:30	Session 1ICGT Research Papers at Auditorium Chair(s): Reiko Heckel University of Leicester

11:00 30m Talk		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 30m Talk		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 30m Talk		Parallel Transformations as Colimits ICGT Research Papers Thierry Boy de La Tour CNRS and University Grenoble Alpes

13:30 - 15:00	Session 2ICGT Research Papers at Auditorium Chair(s): Jens Weber University of Victoria

13:30 30m Talk		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 30m Talk		Formalising and Verifying Graph Programs with Higher-Order Logic ICGT Research Papers Detlef Plump University of York, Robert Söldner University of York
14:30 30m Talk		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:40 - 17:10	Session 3ICGT Research Papers at Auditorium Chair(s): Arend Rensink University of Twente, The Netherlands

15:40 30m Talk		Benchmark First: Defining Tasks for Graph Transformation Learning ICGT Research Papers Adam Machowczyk University of Leicester, Reiko Heckel University of Leicester
16:10 30m Talk		Diagrammatic Specifications and Nested Graph Conditions ICGT Research Papers Uwe Wolter University of Bergen

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

	08:30 - 09:00	RegistrationICMM at Auditorium

	08:30 - 09:00	RegistrationTTC at Auditorium

09:00 - 10:30	Welcome & Keynote sessionSLE at Auditorium Chair(s): Arnaud Blouin Univ Rennes, INSA Rennes, Inria, CNRS, IRISA

09:00 15m Day opening		SLE Welcome SLE G: Arnaud Blouin Univ Rennes, INSA Rennes, Inria, CNRS, IRISA, P: Jordi Cabot Luxembourg Institute of Science and Technology, P: Shigeru Chiba The University of Tokyo, S: Eric Van Wyk University of Minnesota, Twin Cities
09:15 75m Keynote		We built the languages. That was the easy part SLE Cédric Brun Obeo DOI

11:00 - 12:30	SLE session 1SLE at Auditorium

11:00 40m Talk		MIP talk SLE
11:40 25m Talk		Enabling Navigability of Programming Language Specifications: A Case of ECMAScript (JavaScript) Standard Library Specification SLE Alberto Tontoni University of Bergen, Mikhail Barash University of Bergen DOI
12:05 25m Talk		SLE as an Evolving Body of Knowledge: A 19-Year Comparative Analysis of Calls and Proceedings SLE Vadim Zaytsev University of Twente Link to publication DOI Pre-print

13:30 - 15:10	SLE session 2SLE at Auditorium

13:30 25m Talk		Ztrategic: Libraries and Tools For Software Language Specification, Transformation, and Testing SLE Emanuel Rodrigues HASLab & INESC TEC, University of Minho, José Nuno Macedo University of Minho, João Saraiva DOI
13:55 25m Talk		Tool Paper: AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars SLE Luke Bessant University of Minnesota, Twin Cities, Eric Van Wyk University of Minnesota, Twin Cities DOI Pre-print
14:20 25m Talk		Incremental, bidirectional text-to-text synchronizations with AnyText SLE Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany DOI
14:45 25m Talk		How much does an LLM know about my programming language? SLE David Delgado Universitat Oberta de Catalunya, Lola Burgueño University of Malaga, Robert Clarisó Universitat Oberta de Catalunya DOI

15:40 - 17:00	PanelSLE at Auditorium Chair(s): Houari Sahraoui DIRO, Université de Montréal

15:40 80m Panel		Panel SLE Houari Sahraoui DIRO, Université de Montréal

15:40 - 17:00	STAF/SLE PanelSTAF Panel at Auditorium

15:40 80m Panel		Language Engineering in the Era of LLMs and Agentic AI STAF Panel P: Mathieu Acher Univ Rennes, Inria, CNRS, IRISA, P: Mark van den Brand Eindhoven University of Technology, P: Jordi Cabot Luxembourg Institute of Science and Technology, P: Jean-Marc Jézéquel Univ Rennes, IUF, INRIA, CNRS, IRISA, P: Judith Michael University of Regensburg, P: Lola Burgueño University of Malaga

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:15	SLE session 3SLE at Auditorium

09:00 25m Talk		Dynamic Wind for OCaml Effect Handlers with Escaping Continuation Support SLE Antonino Yann William Gillard , Tetsuro Yamazaki University of Tokyo, Tomoharu Ugawa University of Tokyo DOI
09:25 25m Talk		Why Just-In-Time Compilation Matters: Evaluating Runtime and Energy Efficiency SLE Luís Maia , Simão Cunha University of Minho & HASLab, INESCTEC, João Saraiva DOI
09:50 25m Talk		Engineering Verified Model Transformations through a Proof-Based Language Workbench SLE Akram Idani Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG, German Vega DOI

10:15 - 10:30	SLE 2026 awardsSLE at Auditorium Chair(s): Jordi Cabot Luxembourg Institute of Science and Technology, Shigeru Chiba The University of Tokyo, Eric Van Wyk University of Minnesota, Twin Cities

10:15 15m Awards		SLE 2026 awards SLE Jordi Cabot Luxembourg Institute of Science and Technology, Shigeru Chiba The University of Tokyo, Ralf Laemmel University of Koblenz

11:00 - 12:40	SLE session 4SLE at Auditorium

11:00 25m Talk		A nanopass approach to a modular RDF implementation SLE Duncan Guthrie , Paul Harvey University of Glasgow, UK, Michele Sevegnani University of Glasgow DOI
11:25 25m Talk		Multi-Dimensional Context-Oriented Programming with a Lightweight Domain Specific Language SLE Christian Gutsche , Sebastian Götz Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany DOI
11:50 25m Talk		CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems SLE Uraz Odyurt , Ömer Faruk Sayilir University of Twente, Marielle Stoelinga University of Twente and Radboud University, Nijmegen, Vadim Zaytsev University of Twente DOI Pre-print
12:15 25m Talk		A Shallow Embedding of Datalog in Lean SLE Ramy Shahin Qualgebra DOI Pre-print

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	8:00						30						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
Auditorium							WADT Registration GCM 2026 Registration 08:30 - 09:00 ECMFA Registration 08:30 - 09:00 LLM4SE Registration 08:30 - 09:00						ECMFA Welcome and opening				ECMFA Keynote																				ECMFA Transformations																														ECMFA Digital Twins and Cyber-Physical Systems																										ECMFA Domain-Specific Modeling Languages

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	8:00						30						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
Auditorium							Agile MDE Registration ICGT Research Papers Registration 08:30 - 09:00						ICGT Research Papers Welcome			ICGT Research Papers Keynote																					ICGT Research Papers Session 1																														ICGT Research Papers Session 2																										ICGT Research Papers Session 3

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Auditorium							SLE ICMM Registration 08:30 - 09:00 TTC Registration 08:30 - 09:00						SLE Welcome & Keynote session																								SLE SLE session 1																														SLE SLE session 2																										SLE Panel STAF Panel STAF/SLE Panel 15:40 - 17:00

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	9:00						30						10:00						30						11:00						30						12:00						30
Auditorium	SLE SLE session 3															SLE SLE 2026 awards									SLE SLE session 4

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			17:00			15			30			45
Auditorium	ECMFA Welcome 09:00 - 09:20				ECMFA From Software Language Engineering to Digital Twin Engineering 09:20 - 10:30																				ECMFA CoCoPath: Concolic Exploration of Consistency-Preserving Paths 11:00 - 11:30						ECMFA From Constraints to Commands: Graph Pattern Differentiation in 4-Valued ... 11:30 - 12:00						ECMFA Language Design of the NeoJoin View Definition Language 12:00 - 12:30																		ECMFA Model-Based Development of Digital Twins in Industry 4.0 13:30 - 13:55					ECMFA Module-based Modelling and Assessment of Modular Robots w.r.t. Energy E ... 13:55 - 14:20					ECMFA Product Digital Twin Ontology: A Pivot for Bridging Asset Administratio ... 14:20 - 14:45					ECMFA Semantic Drift Management in Digital Twins 14:45 - 15:10											ECMFA A Model-Driven Approach To Support The Understanding Of Machine Learnin ... 15:40 - 16:05					ECMFA An Interpreter-Based Execution Framework for IEC 61499 Function Block N ... 16:05 - 16:30					ECMFA Sock: A Clock-Based Modeling Language to Specify Secure Periodic Real-T ... 16:30 - 16:55					ECMFA Weaving executable models and code for software development 16:55 - 17:20

Wed 1 Jul
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
Auditorium	ICGT Research Papers Welcome 09:00 - 09:15			ICGT Research Papers From Plans to Binaries: Evolving Neo4j and Graph Runtimes with Project ... 09:15 - 10:30																					ICGT Research Papers Conditional Borrowing Hyperedge Replacement 11:00 - 11:30						ICGT Research Papers LR-Based Parsing of Hypergraph Languages: a Positional Grammar Approach 11:30 - 12:00						ICGT Research Papers Parallel Transformations as Colimits 12:00 - 12:30																		ICGT Research Papers Approximately Compatible Graph Predicates: Verifying Program Terminatio ... 13:30 - 14:00						ICGT Research Papers Formalising and Verifying Graph Programs with Higher-Order Logic 14:00 - 14:30						ICGT Research Papers Higher-order Graph Transformation Utilizing Diagram Categories 14:30 - 15:00														ICGT Research Papers Benchmark First: Defining Tasks for Graph Transformation Learning 15:40 - 16:10						ICGT Research Papers Diagrammatic Specifications and Nested Graph Conditions 16:10 - 16:40

Thu 2 Jul
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
Auditorium	SLE SLE Welcome 09:00 - 09:15			SLE We built the languages. That was the easy part 09:15 - 10:30																					SLE MIP talk 11:00 - 11:40								SLE Enabling Navigability of Programming Language Specifications: A Case of ... 11:40 - 12:05					SLE SLE as an Evolving Body of Knowledge: A 19-Year Comparative Analysis of ... 12:05 - 12:30																	SLE Ztrategic: Libraries and Tools For Software Language Specification, Tra ... 13:30 - 13:55					SLE Tool Paper: AGTix: Concise Use of Scope Graphs in Reference Attribute G ... 13:55 - 14:20					SLE Incremental, bidirectional text-to-text synchronizations with AnyText 14:20 - 14:45					SLE How much does an LLM know about my programming language? 14:45 - 15:10											SLE Panel 15:40 - 17:00 STAF Panel Language Engineering in the Era of LLMs and Agentic AI 15:40 - 17:00

Fri 3 Jul
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
Auditorium	SLE Dynamic Wind for OCaml Effect Handlers with Escaping Continuation Support 09:00 - 09:25					SLE Why Just-In-Time Compilation Matters: Evaluating Runtime and Energy Eff ... 09:25 - 09:50					SLE Engineering Verified Model Transformations through a Proof-Based Langua ... 09:50 - 10:15					SLE SLE 2026 awards 10:15 - 10:30									SLE A nanopass approach to a modular RDF implementation 11:00 - 11:25					SLE Multi-Dimensional Context-Oriented Programming with a Lightweight Domai ... 11:25 - 11:50					SLE CPSLint: A Domain-Specific Language Providing Data Validation and Sanit ... 11:50 - 12:15					SLE A Shallow Embedding of Datalog in Lean 12:15 - 12:40

Room information: Auditorium

Program Display Configuration

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

WADT

GCM 2026

ECMFA

LLM4SE

ECMFA

ECMFA

ECMFA

ECMFA

ECMFA

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Agile MDE

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

ICGT Research Papers

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

SLE

ICMM

TTC

SLE

SLE

SLE

SLE

STAF Panel

Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

SLE

SLE

SLE

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change