[Proof Complexity] Proof Complexity Workshop in Vienna

Olaf Beyersdorff O.Beyersdorff at leeds.ac.uk
Tue Feb 25 13:54:47 CET 2014

Dear colleagues,

Please see below the announcement of a proof complexity workshop this year in Vienna. Please put the dates in your diary; everyone is warmly invited to attend. More information and a call for presentations will follow later in April.

Best wishes
Olaf and Jan

FLoC workshop on proof complexity

Vienna, July 12/13 2014

The workshop will be part of the Vienna Summer of Logic and will be affiliated with the conferences SAT'14 and CSL/LICS'14.

Invited Speakers

Albert Atserias (UPC Barcelona)
Jakob Nordstrom (KTH Royal Institute of Technology)
Pavel Pudlak (Czech Academy of Sciences)
Iddo Tzameret (Tsinghua University)

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)


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>

More information about the Proof-Complexity mailing list