| Ambroise Lafont |
Ecole Polytechnique |
| Ana Borges |
University of Barcelona |
| Cesar Munoz |
NASA |
| Cezary Kaliszyk |
Univ. Innsbrück |
| Clément Pit-Claudel |
EPFL |
| Conrad Watt |
Nanyang Technological University |
| Damien Pous |
ENS Lyon |
| Dan Frumin |
University of Groningen |
| Ekaterina Komendantskaya |
Heriot-Watt |
| Irene Yoon |
Inria |
| Jasmin Blanchette |
Ludwig Maximilian University |
| Jason Gross |
MIRI |
| Jeehoon Kang |
KAIST |
| Jennifer Paykin |
Intel |
| Johan Commelin |
Utrecht |
| Johnatan Protzenko |
Microsoft |
| Joseph Tassarotti |
NYU |
| Karl Palmskog |
KTH Royal Institute of Technology |
| Laura Titolo |
NIA/NASA |
| Lennart Beringer |
Univ. Princeton |
| Mario Carneiro |
CMU |
| Micaela Mayero |
Univ. Sorbonne Paris Nord |
| Nicolai Kraus |
University of Nottingham |
| Nicolas Tabareau chair |
Inria |
| Patrick Massot |
Univ. Saclay |
| Robbert Krebbers |
Radboud |
| Robert Lewis |
Brown University |
| Sandrine Blazy chair |
Univ Rennes, Inria, CNRS, IRISA |
| Stephanie Weirich |
UPenn |
| Sylvie Boldo |
Inria |
| Tom de Jong |
Nottingham |
| Vincent Laporte |
Inria |
| William Mansky |
univ of illinois |
| Yasuhiko Minamide |
Tokyo Isntitute of Technology |