SAT/TFCS Spring 2021 Workshops | Simons Institute for the Theory of Computing

Web Registration for Simons Institute Spring 2021 Semester Workshops

Please submit the registration form below to register for any of the Simons Institute's Spring 2021 semester workshops. You may register for one or all of our workshops using this form.

All workshops will take place virtually on Zoom. Upon registering, you will receive an email with the Zoom link for all workshops this spring, which will take place weekly Monday through Friday. Please be sure to save the confirmation email for easy access to the webinar link throughout the semester.

First name

Last name

Current Job Title

Department

Institution

Phone number

Professional webpage (N/A if none)

Which workshops would you like to register for?

Synthesis of Models and Systems (Mondays)Beyond Satisfiability (Tuesdays)Theoretical Foundations of SAT/SMT Solving (Wednesdays)50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing (Thursdays)Games and Equilibria in System Design and Analysis (Fridays)

Would you like to join our email list?:

YesNo

Questions? Contact Simons Institute Events Staff at simonsevents@berkeley.edu.

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

Contact Information