12-13 Jul 2014
Vienna, Austria
FLoC workshop on proof complexity - Call for Presentations ---------------------------------------------------------- Vienna, July 12/13 2014 http://vsl2014.at/pages/PC-index.html The workshop will be part of the Vienna Summer of Logic and will be affiliated with the conferences SAT'14 and CSL/LICS'14. === Important Dates === 16 May 2014 ........ Abstract submission 2 June 2014 ....... Notification to authors 12-13 July 2014 .... Workshop in Vienna === Scope === Proof complexity is the study of 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, which bare tight relations to intricate theoretical open problems from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT solving. === Invited Speakers === Albert Atserias (UPC Barcelona) Jakob Nordstrom (KTH Royal Institute of Technology) Pavel Pudlak (Czech Academy of Sciences) Iddo Tzameret (Tsinghua University) === Submissions === We welcome 1-2-page abstracts presenting (finished, ongoing, or if clearly stated even recently published) work on proof complexity. Particular topics of interest are * Proof Complexity * Bounded Arithmetic * Relations to SAT solving * Relations to Computational Complexity === Submission Guidelines === Abstracts are invited of ongoing, finished, or (if clearly stated) even recently published work on a topic relevant to the workshop. The abstracts will appear in electronic pre-proceedings that will be distributed at the meeting. Abstracts (at most 2 pages, in LNCS style) are to be submitted electronically in PDF via EasyChair http://www.easychair.org/conferences/?conf=pc2014 Accepted communications must be presented at the workshop by one of the authors. === Program Committee === 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) === Organizers === Olaf Beyersdorff (University of Leeds) Jan Johannsen (LMU Munich) -- Dr Olaf Beyersdorff School of Computing University of Leeds, Leeds, LS2 9JT, UK. Phone: +44 113 343 8319 Email: O.Beyersdorff@leeds.ac.uk<mailto:O.Beyersdorff@leeds.ac.uk> http://www.engineering.leeds.ac.uk/people/computing/staff/o.beyersdorff