BIRS Live Stream for: Proof Complexity

Next talk: Marc Vinyals of Technion, Lifting in Proof Complexity
scheduled for today between 09:00 and 09:50 MST [2020-01-22T09:00:00.00-07:00]

Upcoming Talks

Below are the next few upcoming talks, not necessarily those that will be broadcast. We encourage participants to record and broadcast their talks, but it is up to them to press the button.

Today between 09:00 and 09:50 MDT [2020-01-22T09:00:00.00-07:00]
Marc Vinyals of Technion, Lifting in Proof Complexity
Today between 09:55 and 10:45 MDT [2020-01-22T09:55:00.00-07:00]
Albert Atserias of Universitat Politecnica de Catalunya, Automating Resolution is NP-Hard
Today between 11:10 and 12:00 MDT [2020-01-22T11:10:00.00-07:00]
Mika Goos of Stanford University, Automated Proof Search: The Aftermath
Tomorrow between 09:00 and 09:25 MDT [2020-01-23T09:00:00.00-07:00]
Michal Garlík of Universitat Politecnica de Catalunya, Resolution Lower Bounds for Refutation Statements
Tomorrow between 09:30 and 09:55 MDT [2020-01-23T09:30:00.00-07:00]
Ilario Bonacina of UPC Universitat Politècnica de Catalunya, SETH and Resolution

View full schedule of upcoming talks.