| Adam Chlipala | MIT |
| Akash Lal | Microsoft Research |
| Alexandra Silva | UCL |
| Andrew Myers | Cornell |
| Andrew D. Gordon chair | Microsoft Research and University of Edinburgh |
| Andrey Rybalchenko | Microsoft Research |
| Andrzej S. Murawski | University of Warwick |
| Andy Gordon chair | POPL 2017 |
| Aseem Rastogi | Microsoft Research |
| Avik Chaudhuri | Facebook |
| Azadeh Farzan | University of Toronto |
| Bart Jacobs | KU Leuven |
| Ben L. Titzer | Google |
| Benjamin Delaware | MIT |
| Benjamin Gregoire | Inria |
| Catalin Hritcu | INRIA Paris |
| Chantal Keller | Lri |
| Chung-Kil Hur | Seoul National University |
| Cormac Flanagan | UC Santa Cruz |
| Damiano Mazza | CNRS - Université Paris 13 |
| Damien Pous | CNRS Lyon |
| Damien Zufferey | MIT |
| Dan Grossman | University of Washington |
| Daniel Roy | Toronto |
| David Sands | Chalmers |
| David Van Horn | University of Maryland |
| Delphine Demange | University of Rennes 1 / IRISA |
| Derek Dreyer | MPI-SWS |
| Dexter Kozen | Cornell University |
| Eijiro Sumii | Tohoku University |
| Elena Zucca | Genoa |
| Eran Yahav | Technion |
| Francesco Logozzo | Facebook |
| Francesco Zappa Nardelli | Inria |
| Frank Pfenning | Carnegie Mellon University |
| G Ramalingam | Microsoft Research |
| Giuseppe Castagna chair | CNRS |
| Hongseok Yang | University of Oxford |
| Ilya Sergey | Yale-NUS College and SoC, NUS |
| Isabella Mastroeni | University of Verona |
| Isil Dillig | U.Texas |
| Johannes Borgström | Uppsala |
| Josh Berdine | Facebook |
| June Andronick | Data61 CSIRO (formerly NICTA) and UNSW |
| Karthikeyan Bhargavan | Inria |
| Kathleen Fisher | Tufts |
| Krishnendu Chatterjee | IST Austria |
| Lars Birkedal | Aarhus University |
| Limin Jia | CMU |
| Loris D'Antoni | University of Wisconsin Madison |
| Luc Maranget | Inria |
| Marco Gaboardi | University at Buffalo, SUNY |
| Martin Abadi | Google |
| Martin Hofmann | LMU Munich |
| Martin T. Vechev | ETH Zurich |
| Michele Pagani | University Paris Diderot |
| Mihai Budiu | VMware Research |
| Mila Dalla Preda | University of Verona |
| Mira Mezini | TU Darmstadt |
| Mirco Tribastone | IMT-Lucca |
| Mohsen Lesani | MIT |
| Mooly Sagiv | Tel Aviv University |
| Nada Amin | EPFL |
| Naoki Kobayashi | University of Tokyo |
| Nicolas Tabareau | Inria |
| Nikolaj Bjorner | Microsoft Research |
| Noam Zeilberger | Inria |
| Nobuko Yoshida | Imperial |
| Nuno P. Lopes | Microsoft Research |
| P. Madhusudan | University of Illinois at Urbana-Champaign |
| Peter Müller | ETH Zurich |
| Peter Thiemann | University of Freiburg |
| R. Kent Dybvig | Indiana University |
| Ranjit Jhala | University of California, San Diego |
| Rishabh Singh | Microsoft Research |
| Robbert Krebbers | Aarhus University |
| Roman Manevich | Ben-Gurion University of the Negev |
| Ronald Garcia | University of British Columbia |
| Sam Lindley | The University of Edinburgh |
| Sam Staton | University of Oxford |
| Sam Tobin-Hochstadt | Indiana University, USA |
| Santosh Nagarakatte | Rutgers University |
| Scott Owens | University of Kent |
| Sharon Shoham | Tel Aviv University |
| Steve Zdancewic | University of Pennsylvania |
| Tachio Terauchi | Waseda University |
| Viktor Vafeiadis | MPI-SWS |
| Vivek Nigam | Federal University of Paraiba (UFPB) |
| Xavier Leroy | Inria |
| Zachary Kincaid | Princeton |