| Adam Chlipala | MIT |
| Ahmed Bouajjani | University of Paris |
| Alan Schmitt | Inria |
| Ana Sokolova | University of Salzburg |
| Andreas Pavlogiannis | Aarhus University |
| Annette Bieniusa | TU Kaiserslautern |
| Arjun Radhakrishna | Microsoft |
| Aseem Rastogi | Microsoft Research |
| Azadeh Farzan chair | University of Toronto |
| Bart Jacobs | KU Leuven |
| Damien Zufferey | MPI-SWS |
| David Monniaux | CNRS |
| David Van Horn | University of Maryland |
| Deepak Garg | Max Planck Institute for Software Systems |
| Dexter Kozen | Cornell University |
| Frank Pfenning | Carnegie Mellon University |
| Hongseok Yang | KAIST |
| Ichiro Hasuo | National Institute of Informatics |
| Jeehoon Kang | KAIST |
| Josh Berdine | Facebook |
| Kedar Namjoshi | Bell Labs, Nokia |
| Laura Kovacs | TU Wien |
| Laure Gonnord | Université Claude Bernard Lyon 1, LIP |
| Loris D'Antoni | University of Wisconsin Madison |
| Luc Maranget | INRIA Paris |
| Marco Gaboardi | Boston University |
| Mark Batty | University of Kent |
| Matthias Heizmann | University of Freiburg |
| Matthieu Sozeau | Inria |
| Mohamed Faouzi Atig | Uppsala University |
| Nada Amin | Harvard University |
| Nadia Polikarpova | University of California, San Diego |
| Naoki Kobayashi | University of Tokyo |
| Nobuko Yoshida | Imperial College London |
| Parosh Aziz Abdulla | Uppsala University |
| Pavol Černý | TU Wien |
| Pierre Ganty | IMDEA Software Institute |
| Rahul Sharma | Microsoft Research |
| Ravi Chugh | University of Chicago |
| Rishabh Singh | Google |
| Roland Meyer | TU Braunschweig |
| Rupak Majumdar | Max Planck Institute for Software Systems |
| Santiago Zanella-Béguelin | Microsoft Research |
| Sheng Chen | University of Louisiana at Lafayette |
| Simon Peyton-Jones | Microsoft Research Cambridge |
| Somesh Jha | University of Wisconsin |
| Sriram Sankaranarayanan | University of Colorado, Boulder |
| Taro Sekiyama | National Institute of Informatics |
| Umut Acar | Carnegie Mellon University |
| Viktor Vafeiadis | Max Planck Institute for Software Systems |
| William J. Bowman | University of British Columbia |
| Zachary Kincaid | Princeton University |
| Zhong Shao | Yale University |