, Institut List, CEA Tech, Université Paris-Saclay, France
* Yannick Moy, AdaCore, France
* Yi Zhang, Massachusetts General Hospital, USA
PC Chairs
* Andrei Paskevich, Université Paris-Saclay, France
* José Proença, CISTER/ISEP, Portugal
Steering Committee
* Catherine Dubois, Samovar
, Université Paris-Saclay, France
* Yannick Moy, AdaCore, France
* Yi Zhang, Massachusetts General Hospital, USA
PC Chairs
* Andrei Paskevich, Université Paris-Saclay, France
* José Proença, CISTER/ISEP, Portugal
Steering Committee
* Catherine Dubois, Samovar, ENSIIE, France
* Paolo
, Portugal
* Stefan Mitsch, Carnegie Mellon University, USA
* Stephan Merz, Inria, France
* Virgile Prevosto, Institut List, CEA Tech, Université Paris-Saclay, France
* Yannick Moy, AdaCore, France
* Yi Zhang, Massachusetts General Hospital, USA
PC Chairs
* Andrei Paskevich, UniversitÃ
, completeness and elegance.
ORGANIZERS
* Marieke Huisman, University of Twente, the Netherlands
* Rosemary Monahan, Maynooth University, Ireland
* Peter Müller, ETH Zürich, Switzerland
* Andrei Paskevich, Paris-Sud University, France
* Gidon Ernst, National Institute of Informatics Tokyo, Japan
CONTACT
for Informatics, Germany)
* Santiago Zanella-Beguelin (Microsoft Research, UK)
Program Chairs
* Andrei Paskevich (Université Paris-Sud, France)
* Thomas Wies (New York University, USA)
Program Committee
* June Andronick (University of New South Wales, Australia)
* Christel Baier (TU
)
* Peter Müller (ETH Zürich, Switzerland)
* Jorge A. Navas (SRI International, USA)
* Scott Owens (University of Kent, UK)
* Andrei Paskevich (Université Paris-Sud, France), co-chair
* Gerhard Schellhorn (Universität Augsburg, Germany)
* Peter Schrammel (University of Sussex, UK
(Princeton University, USA)
* Akash Lal (Microsoft Research, India)
* Shuvendu Lahiri (Microsoft Research, USA)
* Francesco Logozzo (Facebook, USA)
* Peter Müller (ETH Zürich, Switzerland)
* Jorge A. Navas (SRI International, USA)
* Scott Owens (University of Kent, UK)
* Andrei
)
* Andrei Paskevich (LRI, Université Paris Sud), co-chair
* Damien Pous (LIP, CNRS, ENS Lyon)
* Geoff Sutcliffe (University of Miami)
* Laurent Théry (Inria)
* Cesare Tinelli (University of Iowa)
* Josef Urban (Radboud University Nijmegen)
)
* Vladimir Klebanov (Karlsruhe Institute of Technology)
* Konstantin Korovin (The University of Manchester)
* Rosemary Monahan (National University of Ireland)
* Andrei Paskevich (Université Paris-Sud), co-chair
* Silvio Ranise (Fondazione Bruno Kessler)