[Proof Complexity] Workshop on Proof Complexity - 2nd call for presentations

[Olaf Beyersdorff]

Dear colleagues,

Please find below the call for presentations of the Proof Complexity workshop in Vienna this summer. The deadline is this Friday, please submit an abstract of your latest work. Please also note that there is some travel support for students and postdocs available.

We hope to see you in Vienna!

Best wishes
Olaf and Jan




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.

=== Student/Postdoc travel bursaries available ===

A few bursaries for travel support will be available for students or recent postdocs, who want to attend the workshop. Preference will be given to participants who present a paper at the workshop. Each bursary is worth approx. 400 EUR.

If you are interested, please send an email containing details about your affiliation and submission (if applicable) to Olaf Beyersdorff (o.beyersdorff at leeds.ac.uk<mailto:o.beyersdorff at leeds.ac.uk>). Submissions must be made via EasyChair.


=== 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 at leeds.ac.uk<mailto:O.Beyersdorff at leeds.ac.uk>
http://www.engineering.leeds.ac.uk/people/computing/staff/o.beyersdorff