Registration -AI for Mathematics and Theoretical Computer Science Spring 2025

Welcome
Please submit the registration form below to register for the Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science.

This workshop will be held in-person. Please note that space will be limited and seating in our auditorium is on a first come, first served basis. In the event the auditorium becomes full, we will open up our overflow room for attendees to view the workshop.


Registration is required for in-person attendance, access to the livestream, and early access to the recording. Please note that some lectures will be livestreamed and recorded; exercise sessions and discussion sessions will be in-person only. 


Upon registering, you will receive a confirmation email where you can update your registration details at any time for the workshop you have registered for. 


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

Welcome Back
If you would like to update your registration status, or cancel your registration for any of the workshops you registered for, please adjust your settings below.

If you have any questions about the workshops you are registered for, please email simonsevents@berkeley.edu.
Contact Info



As you would like it printed on a name badge.



Contact ID


Registration


Funding Application
We have a limited amount of funding available to support attendees for this workshop.

If you are interested in attending and need financial support, please provide your CV and a statement of at most 300 words describing your interest / involvement with AI-generated proofs in Math and CS, and how attending the workshop would advance your career. The deadline to apply for funding is February 7, 2025.

Email List
Please note that you will receive emails from us with details pertaining to the workshops you have registered for, regardless of whether you sign up for our mailing list.

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.