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 | Tutorial on Proof Complexity I |
11:45 - 12:15 | Coffee break | Coffee break |
12:15-13:15 | Tutorial on Bounded Arithmetic II | Tutorial on Proof Complexity II |
13:15 - 15:00 | Lunch break | Lunch break |
15:00 - 16:00 | Tutorial on Bounded Arithmetic III | Tutorial on Proof Complexity III |
16:00 - 16:30 | Coffee break | Coffee break |
16:30-17:30 | Tutorial on Bounded Arithmetic IV | Tutorial on Proof Complexity IV |
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: | Plenary speaker: | Plenary speaker: | Plenary speaker: |
10:45 - 11:45 | Plenary speaker: | Plenary speaker: | Plenary speaker: | Plenary speaker: |
11:45 - 12:15 | Coffee break | Coffee break | Coffee break | Coffee break |
12:15 - 13:15 | Plenary speaker: | Keynote speaker: | Plenary speaker: | Plenary speaker: |
13:15 - 14:45 | Lunch break | Lunch break | Lunch break | Workshop ends |
14:45 - 15:45 | Plenary speaker: Olaf Beyersdorff | Plenary speaker: | Plenary speaker: | |
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: | Invited talk: Marc Vinyals | Invited talk: Ilario Bonacina | |
18:00 | Conference dinner: Ресторанъ, Таможенный пер.2 https://yandex.ru/maps/-/CVTBUQ-O |
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