Bridging the Gap Between AI and Reality • Rhodes, Greece
| Time | Topic | Authors |
| 09:00 | Welcome and Introduction to 30 Years of UPPAAL | Paul Pettersson |
| 09:20 | Time to Learn and Check - Enhancing Timed Automata Learning with Model Checking | Florian Lorber, Cheng Wang, Bernhard Aichernig, Martin Leucker |
| 09:40 | Online Model Checking with UPPAAL | Sibylle Schupp |
| 10:00 | Intelligent Control for Energy-Optimal Domestic Heating via UPPAAL Stratego | Jiří Srba |