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

  • Date: 09/28/2019
Location: 

University of Washington

Description: 

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.

Schedule: 

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

Organizers:

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.