Workshops
Spring 2021

Satisfiability: Theory, Practice, and Beyond Boot Camp

Feb 1, 2021 to Feb 5, 2021 

All times are listed in PST.

Add to My Calendar
Monday, February 1st, 2021
8:20 am8:30 am
Introductions
8:30 am10:30 am
Valentine Kabanets (Simon Fraser University)
Tuesday, February 2nd, 2021
8:30 am10:30 am
Armin Biere (Johannes Kepler University)
Wednesday, February 3rd, 2021
8:30 am10:30 am
Sam Buss (UC San Diego)
Thursday, February 4th, 2021
8:30 am10:30 am
Jakob Nordström (University of Copenhagen & Lund University)
Friday, February 5th, 2021
8:30 am9:30 am
Kuldeep Meel (National University of Singapore)
9:30 am10:30 am
Nikolaj Björner (Microsoft Research)
10:30 am11:30 am
Ruzica Piskac (Yale University)