FLoC2010 Logo

Propositional Proof Complexity: Theory and Practice

Workshop affiliated with the Federated Logic Conference (FLoC 2010)

Edinburgh, July 9, 2010

Submission and selection procedure:

Three categories of papers are solicited:
  • Category A: Original papers (up to 12 pages, LNCS style) should describe original research and contain sufficient detail to assess the merits and relevance of the contribution. Simultaneous submission of material is prohibited.
  • Category B: Work in progress (up to 6 pages, LNCS style).
  • Category C: Presentation-only papers may describe work previously published (an abstract of up to 3 pages, LNCS style + a link to the already published paper). The abstracts of accepted presentation-only papers will appear in the informal proceedings to be distributed at the workshop (full papers in this category will not be inserted in the proceedings). We see this as a way to provide additional access to important ideas that the attendees may not be aware of.
The submission of papers presenting student's work and work in progress is encouraged. Submission of papers is via Easy chair


The final versions of the selected contributions will be collected in a volume to be distributed at the workshop. These informal proceedings will also be made accessible on the web. Discussions are underway to publish post-proceedings in ENTCS.