| Aaron Stump |
The University of Iowa |
| Adam Chlipala chair |
MIT |
| Andreas Abel |
Gothenburg University |
| Andrey Mokhov |
Jane Street |
| Atsushi Ohori |
Tohoku University |
| Aws Albarghouthi |
University of Wisconsin-Madison |
| Benjamin Canou |
Nomadic Labs |
| Beta Ziliani |
FAMAF, UNC and CONICET |
| Brigitte Pientka |
McGill University |
| Christine Rizkallah |
UNSW Sydney |
| Chung-chieh Shan |
Indiana University |
| Cyrus Omar |
University of Michigan |
| Danel Ahman |
University of Ljubljana |
| David Darais |
University of Vermont |
| Delia Kesner |
IRI - Université de Paris |
| Dimitrios Vytiniotis |
DeepMind |
| Dominic Orchard |
University of Kent |
| Edwin Brady |
University of St. Andrews |
| Frank Piessens |
KU Leuven |
| Fritz Henglein |
University of Copenhagen (Denmark) |
| Gabriele Keller |
Utrecht University |
| Geoffrey Mainland |
Drexel University |
| Giuseppe Castagna |
CNRS - Université de Paris |
| Guido Salvaneschi |
TU Darmstadt |
| Ivan Perez |
National Institute of Aerospace / NASA Formal Methods Group |
| J. Garrett Morris |
University of Kansas |
| Jan Hoffmann |
Carnegie Melon University |
| Jan Midtgaard |
University of Southern Denmark |
| Jean-Philippe Bernardy |
University of Gothenburg |
| Jennifer Hackett |
University of Nottingham |
| Jerome Simeon |
Clause, Inc |
| Jesper Cockx |
TU Delft |
| John Wiegley |
DFINITY |
| Jonathan Protzenko |
Microsoft Research |
| Juan Pedro Bolívar Puente |
independent |
| KC Sivaramakrishnan |
IIT Madras |
| Kenichi Asai |
Ochanomizu University |
| Leonardo de Moura |
Microsoft Research |
| Magnus Myreen |
Chalmers University of Technology |
| Makoto Hamana |
Department of Computer Science, Gunma University |
| Matthew Fluet |
Rochester Institute of Technology |
| Nadia Polikarpova |
University of California, San Diego |
| Nicolas Tabareau |
Inria |
| Norman Ramsey |
Tufts University |
| Patrick Bahr |
IT University of Copenhagen |
| Rasmus Ejlers Møgelberg |
IT University of Copenhagen |
| Richard Eisenberg |
Bryn Mawr College / Tweag I/O |
| Robbert Krebbers |
Delft University of Technology |
| Ronald Garcia chair |
University of British Columbia |
| Ross Tate |
Cornell University |
| Sandrine Blazy |
Univ Rennes, IRISA |
| Sebastian Erdweg |
JGU Mainz |
| Shriram Krishnamurthi |
Brown University, USA |
| Stefan Muller |
Carnegie Mellon University |
| Stephanie Balzer |
CMU |
| Tiark Rompf |
Purdue University |
| Tom Schrijvers |
KU Leuven, Belgium |
| Troels Henriksen |
DIKU, University of Copenhagen |
| Vincent St-Amour |
Northwestern University |
| Youyou Cong |
Tokyo Institute of Technology |