![Satisfiability_hi-res-logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-01/Satisfiability_hi-res.jpg?h=b86da943&itok=JIajwKvC)
Schedule subject to change.
All talks held in Pacific Time.
–
Coffee and Check-In
–
Coffee and Check-In
–
Opening Remarks
–
Opening Remarks
–
–
Break
–
Break with Light Refreshments
–
–
Lunch
–
Lunch on your Own
–
Student Session - talks from Denis Pankratov, David Madras, Ian Mertz, Yuval Filmus
–
Student Session
–
Break
–
Coffee Break with Light Refreshments
–
Student Session
–
Student Session
–
Reception
–
Reception
–
Coffee and Check-In
–
Coffee and Check-In
–
–
Break with Light Refreshments
–
Break
–
Lunch
–
Lunch on Your Own
–
Student Session
–
Student Session - talks from Morgan Shirley, Adrian She, Elliot Creager, Noah Fleming, Sayak Chakrabarti, Robert Robere
–
Break
–
Break with Light Refreshments
–
Student Session
–
Coffee and Check-In
–
Coffee and Check-In
–
Break
–
Break with Light Refreshments
–
–
Lunch
–
Lunch on Your Own
–
Afternoon Activity
–
Afternoon Activity
Share this page