VSL 2014: VIENNA SUMMER OF LOGIC 2014
PC Program Committee

The program committee of Proof Complexity 2014 is shown below.