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