Workshops

Spring 2021

Satisfiability: Theory, Practice, and Beyond Boot Camp

Feb 1, 2021 to Feb 5, 2021

Return to event »

All times are listed in PST.

Monday, February 1st, 2021
8:20 am – 8:30 am		Introductions
8:30 am – 10:30 am		SAT-Centered Complexity Theory Valentine Kabanets (Simon Fraser University)

Tuesday, February 2nd, 2021
8:30 am – 10:30 am		SAT-Solving Armin Biere (Johannes Kepler University)

Wednesday, February 3rd, 2021
8:30 am – 10:30 am		Proof Complexity Sam Buss (UC San Diego)

Thursday, February 4th, 2021
8:30 am – 10:30 am		Pseudo-Boolean Solving and Optimization Jakob Nordström (University of Copenhagen & Lund University)

Friday, February 5th, 2021
8:30 am – 9:30 am		Approximate Counting and Sampling Kuldeep Meel (National University of Singapore)
9:30 am – 10:30 am		Programming Z3 Nikolaj Björner (Microsoft Research)
10:30 am – 11:30 am		Using SAT Solvers to Prevent Causal Failures in the Cloud Ruzica Piskac (Yale University)