FLoC Workshop o 2014 - FLoC Workshop on Proof Complexity (PC 2014)
Topics/Call fo Papers
Proof complexity focuses on the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F (e.g. a propositional tautology) and a proof system P (i.e., a formalism usually comprised of axioms and rules), what is the size of the smallest proof of F in the system P? Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions; and they bare tight relations to intricate theoretical questions from computational complexity (such as the celebrated P vs. NP problem), first-order arithmetic theories (e.g. separating theories of bounded arithmetic) as well as to practical problems in SAT solving.
Invited Speakers
Albert Atserias (UPC Barcelona)
Jakob Nordström (KTH Royal Institute of Technology)
Pavel Pudlák (Czech Academy of Sciences)
Iddo Tzameret (Tsinghua University)
Call for Papers
coming soon
Organization
The program committee of Proof Complexity 2014 is shown below.
Arnold Beckmann (Swansea University)
Eli Ben-Sasson (Technion, Haifa)
Olaf Beyersdorff (University of Leeds) - chair
Jan Johannsen (LMU Munich) - chair
Massimo Lauria (KTH Royal Institute of Technology, Stockholm)
Invited Speakers
Albert Atserias (UPC Barcelona)
Jakob Nordström (KTH Royal Institute of Technology)
Pavel Pudlák (Czech Academy of Sciences)
Iddo Tzameret (Tsinghua University)
Call for Papers
coming soon
Organization
The program committee of Proof Complexity 2014 is shown below.
Arnold Beckmann (Swansea University)
Eli Ben-Sasson (Technion, Haifa)
Olaf Beyersdorff (University of Leeds) - chair
Jan Johannsen (LMU Munich) - chair
Massimo Lauria (KTH Royal Institute of Technology, Stockholm)
Other CFPs
- 5th Pragmatics of SAT Workshop (POS 2014)
- 2nd International Workshop on Quantified Boolean Formulas (QBF 2014)
- All about Proofs, Proofs for All (APPA 2014)
- 4th International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2014)
- 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR 2014)
Last modified: 2014-03-21 16:32:42