–
Coffee and Check-In
–
Talk by
Sophie Morel (ENS de Lyon)
–
Talk by
Maria-Florina Balcan (Carnegie Mellon University)
–
Break
–
Lean Tutorial
–
Lunch (on your own)
–
Lean Tutorial/Exercises
–
Break
–
Lean Tutorial/Exercises
–
Coffee and Check-In
–
Talk by
Giles Gardam (University of Bonn)
–
Computer-Assisted Intuition: SAT Solvers in Mathematical Discovery
Bernardo Subercaseaux (CMU)
–
Break
–
Machine Learning Tutorial
–
Lunch (on your own)
–
Machine Learning/Exercises
–
Break
–
Machine Learning/Exercises
–
Reception at SL Math
–
Coffee and Check-In
–
How can Machine Learning Help Mathematicians?
Amaury Hayat (Ecole des Ponts - Institut Polytechnique de Paris)
–
Formal Mathematical Reasoning—A New Frontier in AI
Kaiyu Yang (Meta)
–
Break
–
SAT Tutorial
–
Lunch (on your own)
–
SAT Tutorial / Exercises
–
Break
–
SAT Tutorial / Exercises
–
Coffee and Check-In
–
Adventures with an Automatic Prover
Jeffrey Shallit (University of Waterloo)
–
Testing Artificial Mathematical Intelligence
Emily Riehl (Johns Hopkins University)
–
Break
–
Talk by
Yannick Forster (INRIA)
–
Lunch (on your own)
–
Tool Demos/Exploration
–
Break
–
Tool Demos/Exploration
–
Coffee and Check-In
–
Challenges in State-of-the-Art Bit-Precise Reasoning
Aina Niemetz (Stanford University)
–
The Carleson Project: Collaboration using Formalization
Floris van Doorn (University of Bonn)
–
Break
–
Tool Demos/Exploration
–
Lunch (on your own)
–
Discussion
–
Break
–
Tool Demos/Exploration
Register

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. Space may be limited, and you are advised to register early. 

For additional information please visit: https://simons.berkeley.edu/participating-workshop.

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