Program Committee

• Jeremy Avigad (Program Co-Chair, Carnegie Mellon University, US)
• Sandrine Blazy (Université de Rennes 1, France)
• Adam Chlipala (Program Co-Chair, MIT, US)
• Thierry Coquand (Chalmers University of Technology, Sweden)
• John Harrison (Intel, US)
• Chris Hawblitzel (Microsoft Research, Redmond, US)
• Cătălin Hriţcu (INRIA Paris-Rocquencourt, France)
• Brian Huffman (Galois, Inc., US)
• Laura Kovács (Chalmers University of Technology, Sweden)
• Peter Lammich (Technische Universität München, Germany)
• Hongjin Liang (University of Science and Technology of China, China)
• Dan Licata (Wesleyan University, US)
• Panagiotis Manolios (Northeastern University, US)
• Dale Miller (INRIA Saclay and LIX, France)
• Dominic Mulligan (Cambridge University, UK)
• Lawrence Paulson (Cambridge University, UK)
• Andrei Popescu (Middlesex University London, UK)
• Claudio Sacerdoti Coen (University of Bologna, Italy)
• Zachary Tatlock (University of Washington, US)
• Cesare Tinelli (University of Iowa, US)

Steering Committee

• Andrew Appel (Princeton University, US)
• Nikolaj Bjørner (Microsoft Research Redmond, US)
• Georges Gonthier (Microsoft Research Cambridge, UK)
• John Harrison (Intel Corporation, UK)
• Chris Hawblitzel (Microsoft Research Redmond, US)
• Gerwin Klein (NICTA, Australia)
• Xavier Leroy (INRIA, France)
• Dale Miller (INRIA, France)
• Tobias Nipkow (Technische Universität München, Germany)
• Michael Norrish (NICTA, Australia)
• Zhong Shao (Yale University, US)
• Alwen Tiu (Nanyang Technological University, Singapore)