CL&C Program Committee
The program committee of CL&C'14 is shown below.
- Jeremy Avigad (Carnegie Mellon University)
- Stefano Berardi (university of torino)
- Martin Escardo (School of Computer Science, University of Birmingham)
- José Carlos Espírito Santo (Universidade do Minho)
- Paulo Oliva (Queen Mary University of London) - chair
- Monika Seisenberger (Swansea University)
- Thomas Streicher (Technische Universit�t Darmstadt)
- Steffen van Bakel (Imperial College London) - chair