| Alejandro Serrano Mena | University of Utrecht |
| Benjamin Delaware | Purdue University |
| Christiaan Baaij | QBayLogic |
| Christine Rizkallah | UNSW Sydney |
| Eric Seidel | Bloomberg |
| Ivan Perez | NIA / NASA Formal Methods Group |
| Jennifer Hackett | University of Nottingham |
| John Wiegley | Dfinity Foundation |
| José Manuel Calderón Trilla | Galois |
| Kazutaka Matsuda | Tohoku University |
| Ki-Yung Ahn | Hannam University |
| Nadia Polikarpova | University of California, San Diego |
| Ningning Xie | University of Hong Kong |
| Norman Ramsey | Tufts University |
| Richard Eisenberg chair | Bryn Mawr College |
| Thomas Winant | Well-Typed LLP |
| Trevor McDonell | University of Utrecht |