Northwest Theory Day 2019: Proofs, Algorithms, Unsatisfiability and Logic (PAUL)

  • Date: 09/28/2019

University of Washington


The purpose of the workshop is to bring together CS Theory researchers (faculty, postdocs, graduate and senior undergraduate students) from PIMS universities (UBC, SFU, U Vic, UWashington) as well as some top researchers from North America and Europe to discuss the state-of-the-art and future directions of theoretical computer science research. The theme for this workshop will be Proof Complexity and its connections to SAT solvers, learning algorithms, and computational complexity.


10:00 - 10:30   Coffee/snacks

10:30 - 11:20   Toni Pitassi

11:30 - 12:20    Sam Buss


12:30 - 14:00  Lunch


14:00 - 14:50   Russell Impagliazzo

15:00 - 15:50   T.S. Jayram

16:00 - 16:30   Ashish Sabharwal

16:30 - 17:00   Paul Beame


17:00  Reception


Russell Impagliazzo (UCSD)

Valentine Kabanets (SFU)

Anna Karlin (U Washington)

Antonina Kolokolova (MUN & SFU)

Toniann Pitassi (U Toronto)

Anup Rao (U Washington)

Other Information: 

To register for this event, please complete the registration form.