All events take place in the Calvin Lab auditorium.
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