All lectures are in Pacific Time and are subject to change.


Monday: Proof Complexity

Tuesday: Meta-Mathematics of Complexity

Wednesday: Algebraic Approaches to Barriers and Proofs

Thursday: Satisfiability & Applications

Friday: Independence, Reflection and More


Registration is required to attend this workshop. 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 workshop. To submit your name for consideration, please register and await confirmation of your acceptance before booking your travel.

Further details about this workshop will be posted in due course. 

Please note: the Simons Institute regularly captures photos and video of activity around the Institute for use in videos, publications, and promotional materials. 

Register Now