Satisfiability: Theory, Practice, and Beyond Boot Camp

Monday, Feb 1, 2021 to Friday, Feb 5, 2021

Add to Calendar

Program:

Satisfiability: Theory, Practice, and Beyond

View schedule & video »

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)

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] lists.simons.berkeley.edu (at this address).

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