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

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.