PC Program Committee
The program committee of Proof Complexity 2014 is shown below.
- Arnold Beckmann (Swansea University)
- Eli Ben-Sasson (Technion, Haifa)
- Olaf Beyersdorff (University of Leeds) - chair
- Jan Johannsen (LMU Munich) - chair
- Massimo Lauria (KTH Royal Institute of Technology, Stockholm)