Propositional Proof Complexity: Theory and Practice
Workshop affiliated with the Federated Logic Conference (FLoC 2010)
Edinburgh, July 9, 2010
Topics
Contact/Committees
Important dates
Submission
Workshop agenda
Call for Papers (PDF)
Workshop Chairs
- Stefan Dantchev, Durham University, United Kingdom
- Olga Tveretina, University of Karlsruhe, Germany
Program Committee
- Stefan Dantchev, Durham University, United Kingdom
- Eugene Goldberg, Northeastern University, United States
- Barnaby Martin, Durham University, United Kingdom
- Alexander Razborov, The University of Chicago, United States
- Soren Riis, Queen Mary, University of London, United Kingdom
- Olga Tveretina, University of Karlsruhe, Germany
- Hans Zantema, Eindhoven University of Technology and Radboud University Nijmegen, The Netherlands