VSL 2014: VIENNA SUMMER OF LOGIC 2014
Coq Program Committee

The program committee of Coq-6 is shown below.