| 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 |