Organizers
Program Co-chairs
Chris Hawblitzel (Microsoft Research Redmond)
Dale Miller (INRIA Saclay and LIX, Ecole Polytechnique)
Email: cpp2012@easychair.org
General Chair
Jacques Garrigue (Nagoya University)
Program Committee
- Stefan Berghofer (secunet Security Networks AG)
- Wei-Ngan Chin (National University of Singapore)
- Adam Chlipala (MIT)
- Mike Dodds (University of Cambridge)
- Amy Felty (University of Ottawa)
- Xinyu Feng (University of Science and Technology of China)
- Herman Geuvers (Radboud University, Nijmegen)
- Robert Harper (Carnegie Mellon University)
- Chris Hawblitzel (Microsoft Research Redmond)
- Gerwin Klein (NICTA)
- Laura Kovacs (Vienna University of Technology)
- Dale Miller (INRIA Saclay and LIX, Ecole Polytechnique)
- Rupak Majumdar (UCLA, Max Planck Institute for Software Systems)
- Lawrence Paulson (University of Cambridge)
- Frank Piessens (KU Leuven)
- Randy Pollack (Harvard and Edinburgh University)
- Bow-Yaw Wang (Academia Sinica)
- Santiago Zanella Béguelin (IMDEA Software Institute)
Organizing Committee
Jacques Garrigue and Atsushi Igarashi
Email: cpp2012oc@math.nagoya-u.ac.jp
CPP Steering Committee
Andrew Appel (Princeton University)
Nikolaj Bjørner (Microsoft Research Redmond)
Georges Gonthier (Microsoft Research Cambridge)
John Harrison (Intel Corporation)
Jean-Pierre Jouannaud (co-Chair) (INRIA and Tsinghua University)
Gerwin Klein (NICTA)
Tobias Nipkow (Technische Universität München)
Zhong Shao (co-Chair) (Yale University)
