Proof Complexity Workshop Program

This program is also available in PDF format.

Talk title and abstracts in PDF format.

Workshop location:

Seating is limited. If you did not register but still want to come, please contact the organizers <complexity.spb@gmail.com>

Now available online: Slides from many of the talks for the two St. Petersburg workshops.

 Proof Complexity Workshop  --- Tutorial Days

Sunday, May 15

Monday, May 16

10:15 - 10:40

Registration

10:40 - 10:45

Opening

10:45 - 11:45

Tutorial on Bounded Arithmetic I
Sam Buss

Tutorial on Proof Complexity I
Toniann Pitassi

11:45 - 12:15

Coffee break

Coffee break

12:15-13:15

Tutorial on Bounded Arithmetic II
Sam Buss

Tutorial on Proof Complexity II
Toniann Pitassi

13:15 - 15:00

Lunch break

Lunch break

15:00 - 16:00

Tutorial on Bounded Arithmetic III
Sam Buss

Tutorial on Proof Complexity III
Toniann Pitassi

16:00 - 16:30

Coffee break

Coffee break

16:30-17:30

Tutorial on Bounded Arithmetic IV
Sam Buss

Tutorial on Proof Complexity IV
Toniann Pitassi

Proof Complexity Workshop --- Main Workshop Days

Tuesday, May 17

Wednesday, May 18

Thursday, May 19

Friday, May 20

9:30 - 9:45

Registration

9:45 - 10:45

Plenary speaker:
Neil Thapen

Plenary speaker:
Pavel Hrubes

Plenary speaker:
Leszek Kołodziejczyk

Plenary speaker:
Albert Atserias

10:45 - 11:45

Plenary speaker:
Rosalie Iemhoff

Plenary speaker:
Dima Grigoriev

Plenary speaker:
Dimitry Itsykson

Plenary speaker:
Eli Ben-Sasson

11:45 - 12:15

Coffee break

Coffee break

Coffee break

Coffee break

12:15 - 13:15

Plenary speaker:
Arnold Beckmann

Keynote speaker:
Jan Krajicek

Plenary speaker:
Jakob Nordström

Plenary speaker:
Toniann Pitassi

13:15 - 14:45

Lunch break

Lunch break

Lunch break

Workshop ends

14:45 - 15:45

Plenary speaker:

Olaf Beyersdorff

Plenary speaker:
Iddo Tzameret

Plenary speaker:
Massimo Lauria

15:45 - 16:15

Invited talk:

Jan Pich

Invited talk:

Michal Garlík

Invited talk:

James Aisenberg

16:15 - 16:45

Coffee break

Coffee break

Coffee break

16:45 - 17:15

Invited talk:
Hubie Chen

Invited talk:

Marc Vinyals

Invited talk:

Ilario Bonacina

18:00

Conference dinner: Ресторанъ, Таможенный пер.2

https://yandex.ru/maps/-/CVTBUQ-O
https://goo.gl/maps/BgvwLv8vzF12

Hour talks: should be 50 minutes, plus 5 minutes for questions, plus 5 minutes setup.

Half hour talks: should be 25 minutes, including time for questions, plus 5 minutes setup.

Organizers and sponsors:

St.Petersburg State University (Chebyshev Laboratory)

Skolkovo Institute of Science and Technology

St.Petersburg Department of Steklov Institute of Mathematics of the Russian Academy of Sciences

JSC "Gazprom Neft"

US National Science Foundation