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)
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.