STAF 2026 (series) / SLE 2026 (series) /
SLE 2026 Program
This is the SLE 2026 program - see the full program for STAF 2026 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break STAF Catering | ||
18:00 - 19:00 | Reception at the Hôtel de Ville of RennesSTAF Social Events | ||
19:15 - 21:00 | Dinner at Kraz’s crêperieSTAF Social 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 STAF Catering | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break STAF Catering | ||
19:00 - 20:30 | Guided visit of the historical center of RennesSTAF Social Events | ||
Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | Welcome & Keynote sessionSLE 2026 at Auditorium Chair(s): Arnaud Blouin Univ Rennes, INSA Rennes, Inria, CNRS, IRISA | ||
09:00 15mDay opening | SLE Welcome SLE 2026 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 75mKeynote | We built the languages. That was the easy part SLE 2026 Cédric Brun Obeo DOI | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering | ||
11:00 - 12:30 | |||
11:00 40mTalk | MIP talk SLE 2026 | ||
11:40 25mTalk | Enabling Navigability of Programming Language Specifications: A Case of ECMAScript (JavaScript) Standard Library Specification SLE 2026 DOI | ||
12:05 25mTalk | SLE as an Evolving Body of Knowledge: A 19-Year Comparative Analysis of Calls and Proceedings SLE 2026 Vadim Zaytsev University of Twente Link to publication DOI Pre-print | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering | ||
13:30 - 15:10 | |||
13:30 25mTalk | Ztrategic: Libraries and Tools For Software Language Specification, Transformation, and Testing SLE 2026 Emanuel Rodrigues HASLab & INESC TEC, University of Minho, José Nuno Macedo University of Minho, João Saraiva DOI | ||
13:55 25mTalk | Tool Paper: AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars SLE 2026 Luke Bessant University of Minnesota, Twin Cities, Eric Van Wyk University of Minnesota, Twin Cities DOI Pre-print | ||
14:20 25mTalk | Incremental, bidirectional text-to-text synchronizations with AnyText SLE 2026 Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany DOI | ||
14:45 25mTalk | How much does an LLM know about my programming language? SLE 2026 David Delgado Universitat Oberta de Catalunya, Lola Burgueño University of Malaga, Robert Clarisó Universitat Oberta de Catalunya DOI | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break STAF Catering | ||
15:40 - 17:00 | |||
15:40 80mPanel | 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 | ||
15:40 - 17:00 | |||
15:40 80mPanel | Panel SLE 2026 Houari Sahraoui DIRO, Université de Montréal | ||
19:30 - 22:00 | Gala dinnerSTAF Social Events | ||
Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:15 | |||
09:00 25mTalk | Dynamic Wind for OCaml Effect Handlers with Escaping Continuation Support SLE 2026 Antonino Yann William Gillard , Tetsuro Yamazaki University of Tokyo, Tomoharu Ugawa University of Tokyo DOI | ||
09:25 25mTalk | Why Just-In-Time Compilation Matters: Evaluating Runtime and Energy Efficiency SLE 2026 DOI | ||
09:50 25mTalk | Engineering Verified Model Transformations through a Proof-Based Language Workbench SLE 2026 DOI | ||
10:15 - 10:30 | SLE 2026 awardsSLE 2026 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 15mAwards | SLE 2026 awards SLE 2026 Jordi Cabot Luxembourg Institute of Science and Technology, Shigeru Chiba The University of Tokyo, Ralf Laemmel University of Koblenz | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering | ||
11:00 - 12:40 | |||
11:00 25mTalk | A nanopass approach to a modular RDF implementation SLE 2026 DOI | ||
11:25 25mTalk | Multi-Dimensional Context-Oriented Programming with a Lightweight Domain Specific Language SLE 2026 DOI | ||
11:50 25mTalk | CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems SLE 2026 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 25mTalk | A Shallow Embedding of Datalog in Lean SLE 2026 Ramy Shahin Qualgebra DOI Pre-print | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break STAF Catering | ||