Spring 2021

Satisfiability: Theory, Practice, and Beyond Boot Camp

Feb 1, 2021 to Feb 5, 2021 

Add to Calendar


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)

In response to the COVID-19 pandemic, Simons Institute events are currently taking place online. Please register to receive the Zoom webinar access details.

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. Pre-recorded videos with background on the weeks content will be posted on the schedule page one week prior to the event. 

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

If you require accommodation for communication, please contact our Access Coordinator at simonsevents [at] with as much advance notice as possible.