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.


Locations of events:

All talks will be in the Amazon Auditorium in the Gates Center for Computer Science and Engineering.


Lunch will be in the Microsoft Atrium in the Allen Center.


The reception will be in Gates Commons on the 6th floor of the Allen Center.


The two buildings (Gates Center and Allen Center) are across the street from each other.


Finally, parking on campus may be difficult that day as there is a football game taking place. It may be better take a bus or uber/lyft to the campus.