WADT 2026
Tue 30 Jun 2026
co-located with
STAF 2026
Toggle navigation
Attending
Venue: How to get to INRIA Center, University of Rennes ?
Program
WADT Program
Your Program
Tue 30 Jun
Tracks
WADT 2026
WADT 2026
STAF 2026
Social Events
Organization
WADT 2026 Committees
Programme Committee
Track Committees
Organizers
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
WADT 2026
WADT 2024
Sign in
Sign up
STAF 2026
(
series
) /
WADT 2026
(
series
) /
How to get to INRIA Center, University of Rennes ?
/
Room information: Turing
Venue
How to get to INRIA Center, University of Rennes ?
Room name
Turing
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
11:00 - 12:20
Session 1
WADT 2026
at
Turing
11:00
20m
Talk
Software Quality Assurance via Testing-Inspired Formal Verification of Liveness Properties
WADT 2026
Micheal Olawale
Swansea University
,
Markus Roggenbach
Swansea University, Swansea, UK
11:20
20m
Talk
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
20m
Talk
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
20m
Talk
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
13:30 - 15:00
Session 2
WADT 2026
at
Turing
Session Chair: Alexandre Madeira
13:30
20m
Talk
Algebraic Specification of Card-Based Cryptographic Protocols in Rocq
WADT 2026
Cheng-Hui Weng
Nagoya University
13:50
20m
Talk
Weighted Attribute Grammars: Reconciling Weighted and Attribute Grammars
WADT 2026
Marcus Gerhold
University of Twente, The Netherlands
,
Vadim Zaytsev
University of Twente
Pre-print
14:10
20m
Talk
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
20m
Talk
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:30 - 16:30
Session 3
WADT 2026
at
Turing
Session Chair: Markus Roggenbach
15:30
20m
Talk
Structured Specification in Many Logic Modal Logic
WADT 2026
Alexandre Madeira
University of Aveiro
,
Manuel A. Martins
University of Aveiro
15:50
20m
Talk
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
20m
Talk
A Journey from Conditional Equations to Nested Open Sketch Implications
WADT 2026
Uwe Wolter
University of Bergen
Wed 1 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
11:15 - 12:30
Keynote (Kevin Lano)
Agile MDE
at
Turing
Chair(s):
Shirin Hussein
University College London (UCL)
14:10 - 15:10
First paper presentation session
Agile MDE
at
Turing
Chair(s):
Shirin Hussein
University College London (UCL)
14:10
20m
Paper
1- Investigating the application of AI Agent Techniques to MDE Code Generation
Agile MDE
Dr Kevin Lano
King's College London
,
Qiaomu Xue
14:30
20m
Paper
2- Energy Use Analysis and Improvement of Mamba specifications
Agile MDE
Zishan Rahman
King's College London
,
Dr Kevin Lano
King's College London
14:50
20m
Paper
3- Early, Non-Blocking Validation for Agile Model-Driven Engineering Using Python
Agile MDE
Shirin Hussein
University College London (UCL)
,
Sobhan Yassipour Tehrani
University College London (UCL)
15:40 - 16:40
Second paper presentation session
Agile MDE
at
Turing
Chair(s):
Shirin Hussein
University College London (UCL)
15:40
20m
Paper
4- A Continuous Consistency-aware Process for the Analysis of Timing Channels
Agile MDE
Fatma Chebbi
Karlsruhe Institute of Technology (KIT)
,
Martin Armbruster
Karlsruhe Institute of Technology (KIT)
,
Christopher Gerking
Karlsruhe Institute of Technology (KIT)
,
Anne Koziolek
Karlsruhe Institute of Technology
16:00
20m
Paper
5- Context as a First-Class Model for Agentic Software Development
Agile MDE
Chia Sabah
,
Artur Boronat
University of Leicester
16:20
20m
Paper
6- Applying a Model-Driven Gamification Metamodel to Nursing Education: An Agile MDE Perspective Integrated with Behavior Change Techniques
Agile MDE
Leila Samimi-Dehkordi
Assistant professor, Shahrekord University, Iran
,
Shabih Fatima
,
Shekoufeh Rahimi
University of Roehampton
Thu 2 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
11:00 - 12:30
Families to Persons
TTC
at
Turing
Chair(s):
Sandra Greiner
University of Southern Denmark
,
Georg Hinkel
RheinMain University of Applied Sciences, Wiesbaden, Germany
,
Théo Le Calvar
IMT Atlantique, LS2N (UMR CNRS 6004)
11:00
5m
Day opening
Welcome
TTC
Sandra Greiner
University of Southern Denmark
,
Georg Hinkel
RheinMain University of Applied Sciences, Wiesbaden, Germany
,
Théo Le Calvar
IMT Atlantique, LS2N (UMR CNRS 6004)
11:06
20m
Talk
The Families to Persons Case --- Revisited
TTC
Anthony Anjorin
Zühlke Engineering GmbH
,
Thomas Buchmann
Hochschule für Angewandte Wissenschaften Hof
11:27
15m
Talk
The Families to Persons Case Revisited: A BXtendDSL Solution with Concurrent Model Synchronization
TTC
Thomas Buchmann
Hochschule für Angewandte Wissenschaften Hof
11:43
15m
Talk
Let the Agent Sync: LLM-Driven Code Generation for the Families to Persons Case
TTC
Thomas Buchmann
Hochschule für Angewandte Wissenschaften Hof
11:59
15m
Talk
Handling Conflicting Changes in the Families to Persons Case with Synchronization Blocks
TTC
Georg Hinkel
RheinMain University of Applied Sciences, Wiesbaden, Germany
12:15
15m
Talk
The BCerT Solution for Bidirectional Model-Driven Transformation
TTC
Akram Idani
Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG
13:30 - 15:10
Solutions for old cases, Discussion and Awards
TTC
at
Turing
Chair(s):
Sandra Greiner
University of Southern Denmark
,
Georg Hinkel
RheinMain University of Applied Sciences, Wiesbaden, Germany
,
Théo Le Calvar
IMT Atlantique, LS2N (UMR CNRS 6004)
13:30
15m
Talk
A MontiCore Solution to the TTC 2017 State Elimination Case
TTC
Alex Lüpges
RWTH Aachen University
,
Janik Rapp
RWTH Aachen University
,
Bernhard Rumpe
RWTH Aachen University
13:45
15m
Awards
Awards
TTC
Sandra Greiner
University of Southern Denmark
,
Georg Hinkel
RheinMain University of Applied Sciences, Wiesbaden, Germany
,
Théo Le Calvar
IMT Atlantique, LS2N (UMR CNRS 6004)
14:00
70m
Other
Discussion
TTC
Sandra Greiner
University of Southern Denmark
,
Georg Hinkel
RheinMain University of Applied Sciences, Wiesbaden, Germany
,
Théo Le Calvar
IMT Atlantique, LS2N (UMR CNRS 6004)
Tue 30 Jun
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
Turing
WADT 2026
Session 1
WADT 2026
Session 2
WADT 2026
Session 3
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
Turing
Agile MDE
Keynote (Kevin Lano)
Agile MDE
First paper presentation session
Agile MDE
Second paper presentation session
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
Turing
TTC
Families to Persons
TTC
Solutions for old cases, Discussion and Awards
TTC
Tue 30 Jun
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
Turing
WADT
Software Quality Assurance via Testing-Inspired Formal Verification of ...
11:00 - 11:20
WADT
ReTA: Modeling Reconfigurable Timed Automata
11:20 - 11:40
WADT
A Formal Framework for Synchronized Drone Swarms with Belief-Based Rein ...
11:40 - 12:00
WADT
Trustworthy Railway Verification based upon the IC3 algorithm: From Bla ...
12:00 - 12:20
WADT
Algebraic Specification of Card-Based Cryptographic Protocols in Rocq
13:30 - 13:50
WADT
Weighted Attribute Grammars: Reconciling Weighted and Attribute Grammars
13:50 - 14:10
WADT
Heterogeneous Specification via Institutions for Event-B and Temporal Logic
14:10 - 14:30
WADT
Temporal Predicate Transformers: A Preliminary Study
14:30 - 14:50
WADT
Structured Specification in Many Logic Modal Logic
15:30 - 15:50
WADT
Feasible Morphism of Polymorphism and Partial Operations to Many-sorted ...
15:50 - 16:10
WADT
A Journey from Conditional Equations to Nested Open Sketch Implications
16:10 - 16:30
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
Turing
Agile MDE
1- Investigating the application of AI Agent Techniques to MDE Code Gen ...
14:10 - 14:30
Agile MDE
2- Energy Use Analysis and Improvement of Mamba specifications
14:30 - 14:50
Agile MDE
3- Early, Non-Blocking Validation for Agile Model-Driven Engineering Us ...
14:50 - 15:10
Agile MDE
4- A Continuous Consistency-aware Process for the Analysis of Timing Ch ...
15:40 - 16:00
Agile MDE
5- Context as a First-Class Model for Agentic Software Development
16:00 - 16:20
Agile MDE
6- Applying a Model-Driven Gamification Metamodel to Nursing Education: ...
16:20 - 16:40
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
15:00
15
30
45
Turing
TTC
Welcome
11:00 - 11:05
TTC
The Families to Persons Case --- Revisited
11:06 - 11:26
TTC
The Families to Persons Case Revisited: A BXtendDSL Solution with Concu ...
11:27 - 11:42
TTC
Let the Agent Sync: LLM-Driven Code Generation for the Families to Pers ...
11:43 - 11:58
TTC
Handling Conflicting Changes in the Families to Persons Case with Synch ...
11:59 - 12:14
TTC
The BCerT Solution for Bidirectional Model-Driven Transformation
12:15 - 12:30
TTC
A MontiCore Solution to the TTC 2017 State Elimination Case
13:30 - 13:45
TTC
Awards
13:45 - 14:00
TTC
Discussion
14:00 - 15:10
x
Wed 15 Jul 13:08