Workshops
Spring 2021

Satisfiability: Theory, Practice, and Beyond Boot Camp

Feb. 1Feb. 5, 2021

Add to Calendar

Organizers:

Albert Atserias (Universitat Politècnica de Catalunya; chair), Sam Buss (UC San Diego), Vijay Ganesh (University of Waterloo), Antonina Kolokolova (Memorial University of Newfoundland), Jakob Nordström (University of Copenhagen & Lund University)

All events take place in the Calvin Lab auditorium.

The Boot Camp is intended to acquaint program participants with the key themes of the program. It will consist of five days of tutorial presentations. 

Further details about this boot camp will be posted in due course. Enquiries may be sent to the organizers sat2021 [at] lists.simons.berkeley.edu (at this address).

Registration is required to attend this boot camp. Space may be limited, and you are advised to register early. The link to the registration form will appear on this page approximately 10 weeks before the boot camp. To submit your name for consideration, please register and await confirmation of your acceptance before booking your travel.