The workshop will center around the topic Artificial Intelligence in Mathematics Resarch and aims to highlight examples of current or past usage of AI in Math Research, as well as provide a forum for discussing future usage. Here the term "AI" is used vaguely to include all forms of mechanical reasoning, be it by proof assistants, classical machine learning or generative AI.

• Signup for Participants: via Web form on our website (see link below)


• Registration:  08:30 a.m. on the first day


• Start of talks: from 09:30 a.m. on all days


• Lunch: 12:00 -  2:00 p.m. each day


• Closing Discussion: Thu, 4:00 p.m.


• Friday:  Individual Departure (no further talks)