Bridging the Gap Between AI and Reality • Rhodes, Greece
| Time | Topic | Authors |
| 11:00 | Processes and Tools in UPPAAL Development | Marius Mikucionis |
| 11:20 | UPPAAL Meets Cognitive Science and Learning: Synthesizing Shared Control for Human-Cyber-Physical Systems | Mehrnoush Hajnorouzi , Martin Fränzle |
| 11:40 | Alternating LU Extrapolation in Timed Games | Nicolaj Ø. Jensen, Peter G. Jensen, Kim G. Larsen, Jiří Srba |
| 12:00 | UPPAAL in Teaching and Research at Oldenburg | Ernst Reudiger Olderog |