| Mark Adams, Proof Technologies Ltd, UK |
| Akiko Aizawa, NII, The University of Tokyo, Japan |
| Jesse Alama, CENTRIA, FCT, Universidade Nova de Lisboa, Portugal |
| Rob Arthan, Queen Mary University of London, UK |
| Andrea Asperti, University of Bologna, Italy |
| David Aspinall, University of Edinburgh, UK (MKM Track Chair) |
| Jeremy Avigad, Carnegie Mellon University, US |
| Thierry Bouche, Université Joseph Fourier (Grenoble), France |
| Jacques Carette, McMaster University, Canada (General Program Chair) |
| John Charnley, Department of Computing, Imperial College London, UK |
| Janka Chlebíková, School of Computing, University of Portsmouth, UK |
| Simon Colton, Department of Computing, Imperial College, London, UK |
| David Ruddy, Cornell University Library, US |
| Leo Freitas, Newcastle University, UK |
| Deyan Ginev, Jacobs University Bremen, Germany |
| Gudmund Grov, Heriot-Watt University, Edinburgh, UK |
| Thomas Hales, University of Pittsburgh, US |
| Yannis Haralambous, Télécom Bretagne, France |
| Jónathan Heras, University of Dundee, UK |
| Hoon Hong, North Carolina State University, US |
| Predrag Janičić, University of Belgrade, Serbia |
| Cezary Kaliszyk, University of Innsbruck, Austria |
| Manfred Kerber, University of Birmingham, UK |
| Adam Kilgarriff, Lexical Computing Ltd, UK |
| Andrea Kohlhase, Jacobs University Bremen, Germany |
| Michael Kohlhase, Jacobs University Bremen, Germany |
| Temur Kutsia, RISC Institute, JKU Linz, Austria |
| Christoph Lange, University of Birmingham, UK (Systems & Projects Track Chair) |
| Paul Libbrecht, Martin Luther University Halle-Wittenberg, Germany |
| Christoph Lüth, DFKI Bremen, Germany |
| Till Mossakowski, DFKI Bremen, Germany |
| Magnus O. Myreen, University of Cambridge, UK |
| Florian Rabe, Jacobs University Bremen, Germany |
| Jiří Rákosník, Institute of Mathematics, Academy of Sciences, Czech Republic |
| Carsten Schürmann, IT University of Copenhagen, Denmark |
| Petr Sojka, Masaryk University, Faculty of Informatics, Czech Republic (DML Track Chair) |
| Volker Sorge, University of Birmingham, UK |
| Hendrik Tews, TU Dresden, Germany |
| Frank Tompa, University of Waterloo, Canada |
| Josef Urban, Radboud University, Netherlands |
| Stephen Watt, University of Western Ontario, Canada |
| Makarius Wenzel, Université Paris-Sud 11, France |
| Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria (Calculemus Track Chair) |
| Richard Zanibbi, Rochester Institute of Technology, US |
