[Proof Complexity] Proof Complexity Workshop in Vienna

[Olaf Beyersdorff]

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
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.


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)


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