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