Coq Program Committee
The program committee of Coq-6 is shown below.
- Andrej Bauer (University of Ljubljana)
- Derek Dreyer (MPI-SWS) - chair
- Andrew Kennedy (Microsoft Research Cambridge)
- Christine Paulin-Mohring (Université Paris-Sud)
- Matthieu Sozeau (INRIA Paris)
- Antonis Stampoulis (MIT CSAIL)
- Viktor Vafeiadis (MPI-SWS) - chair
- Steve Zdancewic (University of Pennsylvania)