Propositional Proof Complexity: Theory and PracticeWorkshop affiliated with the Federated Logic Conference (FLoC 2010)Edinburgh, July 9, 2010 

Home Topics Contact/Committees Important dates Submission Workshop agenda Call for Papers (PDF) 
TopicsThe topics of the workshop will be on propositional proof complexity in the widest sense with connections to applications for which complexity issues are essential and include (but are not restricted to):
