Program committee



Name Affiliation
Amin Timany Aarhus University
César Muñoz Amazon Web Services
Ranald Clouston Australian National University
Cody Roux AWS
Koen Claessen Chalmers University of Technology
Marie Kerjean CNRS
Josef Urban Czech Technical University in Prague
Clément Pit-Claudel EPFL / AWS
Kazuhiko Sakaguchi Inria
Pierre-Marie Pédrot Inria
Yannick Forster Inria Nantes
Kenji Maillard Inria Rennes
Anna Slobodova Intel
Chantal Keller LMF, University Paris-Saclay
Brigitte Pientka chair McGill University
Chris Hawblitzel Microsoft Research
Leonardo de Moura Microsoft Research
Viktor Vafeiadis MPI-SWS
Xinyu Feng Nanjing University
Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST)
Yuting Wang Shanghai Jiao Tong University - John Hopcroft Center for Computer Science
Stephane Graham-Lengrand SRI International
Denis Firsov Talinn University of Technology/GuardTime
Tobias Nipkow Technische Universität München
Aaron Stump The University of Iowa
Milos Gligoric The University of Texas at Austin
Anja Petković Komel TU Wien
Lawrence Paulson University of Cambridge
Elsa Gunter University of Illinois at Urbana-Champaign
René Thiemann University of Innsbruck
Christine Rizkallah University of Melbourne
Steve Zdancewic chair University of Pennsylvania
Tjark Weber Uppsala University
Tej Chajed VMware Research
Yoonseung Kim Yale University