Terence Tao on Nostr: *AI for Mathematics and Theoretical Computer Science*, a workshop hosted jointly by ...
*AI for Mathematics and Theoretical Computer Science*, a workshop hosted jointly by the Simons Institute for the Theory of Computing and the Simons Laufer Mathematical Sciences Institute, will be held in Berkeley, California from Monday, April 7 to Friday, April 11, 2025.
https://simons.berkeley.edu/workshops/simons-institute-theory-computing-slmath-joint-workshop-ai-mathematics-theoretical
https://www.slmath.org/workshops/1140#overview_workshop
The workshop will introduce mathematicians and theoretical computer scientists to new technologies for mathematics, namely, interactive theorem proving, automated reasoning, and machine learning. Talks each morning will survey exciting results in these fields, and in the afternoons, we will help participants experiment with the tools to get a sense of what they do. We will also encourage participants to think about how they can use the new technologies in their research.
The workshop is open to the public. Talks will be recorded and streamed live, but the tutorials and discussions will be held in person only. Registration is required for in-person or virtual attendance, but there is no registration fee. A limited amount of funding is available to support attendees for the workshop, and requests can be made by February 7, 2025, following the instructions on the registration form.
(via Jeremy Avigad)
https://simons.berkeley.edu/workshops/simons-institute-theory-computing-slmath-joint-workshop-ai-mathematics-theoretical
https://www.slmath.org/workshops/1140#overview_workshop
The workshop will introduce mathematicians and theoretical computer scientists to new technologies for mathematics, namely, interactive theorem proving, automated reasoning, and machine learning. Talks each morning will survey exciting results in these fields, and in the afternoons, we will help participants experiment with the tools to get a sense of what they do. We will also encourage participants to think about how they can use the new technologies in their research.
The workshop is open to the public. Talks will be recorded and streamed live, but the tutorials and discussions will be held in person only. Registration is required for in-person or virtual attendance, but there is no registration fee. A limited amount of funding is available to support attendees for the workshop, and requests can be made by February 7, 2025, following the instructions on the registration form.
(via Jeremy Avigad)