| Alastair Donaldson | Imperial College London |
| Amal Ahmed | Northeastern University |
| Andreas Abel | Gothenburg University |
| Andrew D. Gordon | Microsoft Research and University of Edinburgh |
| Andrzej Murawski | University of Warwick |
| Antoine Miné | CNRS & Ecole normale superieure |
| Aquinas Hobor | National University of Singapore |
| Arjun Guha | University of Massachusetts, Amherst |
| Arthur Chargueraud | Inria |
| Atsushi Igarashi | Kyoto University |
| Avik Chaudhuri | Facebook |
| Ben Livshits | Microsoft Research |
| Bor-Yuh Evan Chang | University of Colorado Boulder |
| Brigitte Pientka | McGill University |
| Cedric Fournet | Microsoft Research |
| Chung-Kil Hur | Seoul National University |
| Dan Ghica | University of Birmingham |
| Dan Grossman | University of Washington |
| Dan Licata | Wesleyan University |
| David Aspinall | University of Edinburgh |
| David Pichardie | ENS Rennes/IRISA |
| David Walker chair | Princeton University |
| Davide Ancona | DIBRIS - Università di Genova |
| Deepak Garg | MPI-SWS |
| Delphine Demange | IRISA - University of Rennes 1 |
| Derek Dreyer | MPI-SWS |
| Dexter Kozen | Cornell University |
| Emery Berger | University of Massachusetts Amherst |
| Emina Torlak | U.C. Berkeley |
| Eran Yahav | Technion |
| Francois Pottier | Inria |
| Frank Pfenning | Carnegie Mellon University |
| Fritz Henglein | University of Copenhagen |
| Gabriel Dos Reis | Microsoft |
| Gabriele Keller | University of New South Wales |
| Ganesan Ramalingam | Microsoft Research |
| Giuseppe Castagna | CNRS - Université Paris Diderot |
| Greta Yorsh | Queen Mary University of London |
| Helmut Seidl | TU Munchen |
| Hongseok Yang | University of Oxford |
| Jade Alglave | University College London |
| Jan Hoffmann | Yale University |
| Jay McCarthy | Vassar College |
| Jeff Foster | University of Maryland, College Park |
| Jingling Xue | UNSW Australia |
| Josh Berdine | Microsoft Research |
| Joxan Jaffar | Singapore |
| Jules Villard | Imperial College London |
| Kapil Vaswani | Microsoft Research India |
| Karthikeyan Bhargavan | Inria |
| Kathleen Fisher chair | Tufts University |
| Lars Birkedal | Aarhus University |
| Madhusudan Parthasarathy | University of Illinois, Urbana-Champaign |
| Manu Sridharan | Samsung Research America |
| Martin Hofmann | Ludwig-Maximilians-Universitat |
| Matteo Maffei | CISPA, Saarland University |
| Matthew Might | University of Utah |
| Matthew Parkinson | Microsoft Research |
| Mayur Naik | Georgia Institute of Technology |
| Michael Benedikt | Oxford University |
| Michael Clarkson | George Washington University |
| Michael Emmi | IMDEA Software Institute |
| Mooly Sagiv | Tel Aviv University |
| Naoki Kobayashi | University of Tokyo |
| Nate Foster | Cornell University |
| Neelakantan Krishnaswami | University of Birmingham |
| Nick Benton | Microsoft Research |
| Nikhil Swamy | Microsoft Research |
| Nishant Sinha | IBM Research India |
| Patricia Johann | Appalachian State University |
| Patrick Cousot | CIMS, New York University |
| Peter Thiemann | University of Freiburg |
| Philip Wadler | University of Edinburgh |
| Pierre Geneves | CNRS |
| Raghavan Komondoor | Indian Institute of Science |
| Ralf Hinze | University of Oxford |
| Rastislav Bodik | UC Berkeley |
| Ravi Chugh | UC San Diego |
| Robby Findler | Northwestern University |
| Rupak Majumdar | Max Planck Institute for Software Systems |
| Sam Tobin-Hochstadt | Indiana University |
| Satish Chandra | Samsung Electronics |
| Shan Shan Huang | LogicBlox |
| Shaz Qadeer | Microsoft Research |
| Shuvendu Lahiri | Microsoft Research |
| Sriram Rajamani chair | Microsoft |
| Stephanie Weirich | University of Pennsylvania |
| Stephen Chong | Harvard University |
| Sumit Gulwani | Microsoft Research |
| Supratik Chakraborty | IIT Bombay |
| Swarat Chaudhuri | Rice University |
| Toby Murray | NICTA and University of New South Wales |
| Umut Acar | Carnegie Mellon University and INRIA |
| Wei-Ngan Chin | National University of Singapore |
| Xavier Leroy | Inria |
| Xavier Rival | INRIA, CNRS and ENS Paris |
| Xinyu Feng | University of Science and Technology of China |
| Zachary Tatlock | University of Washington |
| Zhenjiang Hu | National Institute of Informatics |