STAF 2026 (series) / WADT 2026 (series) /
WADT 2026 Program
This is the WADT 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
08:30 - 09:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering | ||
11:00 - 12:20 | |||
11:00 20mTalk | Software Quality Assurance via Testing-Inspired Formal Verification of Liveness Properties WADT 2026 | ||
11:20 20mTalk | ReTA: Modeling Reconfigurable Timed Automata WADT 2026 Antonio Iglesias Universidad San Jorge, Alexandre Madeira University of Aveiro, Manuel A. Martins University of Aveiro, José Proença CISTER & Faculty of Sciences, University of Porto | ||
11:40 20mTalk | A Formal Framework for Synchronized Drone Swarms with Belief-Based Reinforcement WADT 2026 Demetre Labadze Kutaisi International University, Peter Ölveczky University of Oslo, Besik Dundua Institute of Applied Mathematics, Tbilisi State University | ||
12:00 20mTalk | Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box WADT 2026 Harry Bryant Swansea University, Bassam Helal Swansea University, Andrew Lawrence Siemens Mobility, Markus Roggenbach Swansea University, Swansea, UK, Anton Setzer Swansea University, Monika Seisenberger Swansea University, Tom Werner Siemens Mobility | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering | ||
13:30 - 15:00 | |||
13:30 20mTalk | Algebraic Specification of Card-Based Cryptographic Protocols in Rocq WADT 2026 Cheng-Hui Weng Nagoya University | ||
13:50 20mTalk | Weighted Attribute Grammars: Reconciling Weighted and Attribute Grammars WADT 2026 Pre-print | ||
14:10 20mTalk | Heterogeneous Specification via Institutions for Event-B and Temporal Logic WADT 2026 Richard Flynn Maynooth University, Marie Farrell The University of Manchester, Rosemary Monahan , James Power Maynooth University, Michael Fisher University of Manchester, UK | ||
14:30 20mTalk | Temporal Predicate Transformers: A Preliminary Study WADT 2026 Ānrán Wáng Saarland University, Lena Verscht Saarland University; RWTH Aachen University; , Benjamin Lucien Kaminski Saarland University; University College London | ||
15:10 - 15:40 | |||
15:10 30mCoffee break | Break STAF Catering | ||
15:30 - 16:30 | |||
15:30 20mTalk | Structured Specification in Many Logic Modal Logic WADT 2026 | ||
15:50 20mTalk | Feasible Morphism of Polymorphism and Partial Operations to Many-sorted Algebra with Constructors WADT 2026 Edward Sabinus Martin-Luther-University Halle-Wittenberg, Wolf Zimmermann Martin-Luther-University Halle-Wittenberg | ||
16:10 20mTalk | A Journey from Conditional Equations to Nested Open Sketch Implications WADT 2026 Uwe Wolter University of Bergen | ||
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
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: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
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 | ||