![](https://th-birthday-workshop.pages.ist.ac.at/wp-content/uploads/sites/250/2023/02/tah-1.jpg)
Date: July 18th 2023
Venue: Workshop co-located with CAV’23 in Paris.
Maison de la Chimie – Room 262 (2nd floor)
28 rue Saint Dominique
75007 Paris
Book: Principles of Systems Design
Organizers:
Krishnendu Chatterjee (Institute of Science and Technology Austria),
Laurent Doyen (CNRS & ENS Paris-Saclay, France),
Rupak Majumdar (MPI for Software Systems, Germany),
Jean-François Raskin (Université Libre de Bruxelles, Belgium)
Jakub Svoboda and Valentin Hubner