| Thibaut Balabonski |
Université Paris-Sud |
| Daniel Winograd-Cort |
University of Pennsylvania |
| Arthur Azevedo de Amorim |
University of Pennsylvania |
| Steven Ramsay |
University of Oxford |
| Matteo Sammartino |
University College London |
| Heidy Khlaaf |
University College London |
| Oded Padon |
Tel Aviv University |
| Zoe Paraskevopoulou |
Princeton University |
| Nick Giannarakis |
Princeton University |
| Ralf Jung |
MPI-SWS |
| Ezgi Çiçek |
MPI-SWS |
| Peng Wang |
MIT CSAIL |
| Nadia Polikarpova |
MIT CSAIL |
| Aseem Rastogi |
Microsoft Research, India |
| Pantazis Deligiannis |
Microsoft Research |
| Tetsuya Sato |
Kyoto University |
| Tomer Libal |
Inria Saclay |
| David Christiansen |
Indiana University |
| Andrea Vandin |
IMT School for Advanced Studies Lucca |
| Stephen Chong chair |
Harvard University |
| Robbert Krebbers |
Delft University of Technology |
| Steffen Smolka |
Cornell University |
| Matthew Milano |
Cornell University |
| Damien Pous |
CNRS, ENS Lyon |
| Jean Yang chair |
Carnegie Mellon University |
| Giselle Reis |
Carnegie Mellon University |
| Thorsten Tarrach |
AIT Austrian Institute of Technology |
| Aleš Bizjak |
Aarhus University |