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)
Important dates
- Paper submission deadline (EXTENDED): 06.04.2010
- Notification of acceptance: Beginning of May 2010
- Final papers due: 07.05.2010
- FLoC early registration deadline: tba
- Workshop: July 9, 2010