![Satisfiability_hi-res-logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-01/Satisfiability_hi-res.jpg?h=b86da943&itok=JIajwKvC)
All talks held in Pacific Time. *Schedule subject to change*
Monday: SAT SOLVING/PROOF COMPLEXITY
Tuesday: SAT SOLVING/PROOF COMPLEXITY
Wednesday: CP, OR, AND MORE
Thursday: VERIFIED COMPUTATION
Friday: BEYOND
–
Coffee and Check-in
–
Opening Remarks & Welcome
–
Break
–
–
Lunch
–
Break
–
Reception
–
Coffee and Check-in
–
Break
–
–
Lunch
–
Break
–
Coffee and Check-in
–
–
Break
–
Lunch
–
–
Break
–
Coffee and Check-in
–
–
Break
–
–
Lunch
–
Break
–
–
Coffee and Check-in
–
–
Break
–
Lunch
–
Break
–
Share this page