Organizers
Enrico Bini, University of Torino, Italy
Martina Maggio, Lund University, Sweden
Sophie Quinton, Inria Grenoble – Rhône-Alpes, France
Speakers
CapeCode
- Edward A. Lee, UC Berkeley, USA
- Christopher Brooks, UC Berkeley, USA
pyCPA
- Rolf Ernst, TU Braunschweig, Germany
- Johannes Schlatow, TU Braunschweig, Germany
SCHED_DEADLINE
- Luca Abeni, Scuola Superiore Sant’Anna Pisa, Italy
- Juri Lelli, ARM, UK
UPPAAL
- Kim G. Larsen, Aalborg University, Sweden
