FLoC2010 Logo

Propositional Proof Complexity: Theory and Practice

Workshop affiliated with the Federated Logic Conference (FLoC 2010)

Edinburgh, July 9, 2010

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