Mohammad Abdulaziz |
Technische Universität München |
Mauricio Ayala-Rincon |
Universidade de Brasilia |
Andrej Bauer |
University of Ljubljana |
Thomas Bauereiss |
University of Cambridge |
Yves Bertot |
Inria and Université Cote d'Azur |
Lars Birkedal |
Aarhus University |
Sylvie Boldo |
Inria |
Qinxiang Cao |
Shanghai Jiao Tong University |
Eveleyne Contejean |
CNRS |
Benjamin Delaware |
Purdue University |
Floris van Doorn |
University of Pittsburgh |
Simon Foster |
University of York |
Alwyn Goodloe |
NASA Langley Research Center |
Armaël Guéneau |
Aarhus University |
John Harrison |
Amazon Web Services |
Joe Hendrix |
SRI International |
Aquinas Hobor |
National University of Singapore |
Ralf Jung |
MPI-SWS |
Cezary Kaliszyk |
University of Innsbruck |
Jeehoon Kang |
KAIST |
Hongjin Liang |
Nanjing University |
Gregory Malecha |
BedRock Systems |
Anders Mörtberg |
Stockholm University |
Toby Murray |
University of Melbourne |
Zoe Paraskevopoulou |
Princeton University |
Brigitte Pientka |
McGill University |
Andrei Popescu chair |
University of Sheffield |
Aseem Rastogi |
Microsoft Research |
Bas Spitters |
Aarhus University |
Kathrin Stark |
Princeton University |
Hira Taqdees Syeda |
Amazon Web Services |
Joseph Tassarotti |
Boston College |
Laura Titolo |
National Institute of Aerospace |
Sophie Tourret |
Inria |
Dmitriy Traytel |
University of Copenhagen |
Freek Verbeek |
Open University of the Netherlands, The Netherlands |
Freek Wiedijk |
Radboud University Nijmegen |
Steve Zdancewic chair |
University of Pennsylvania |