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)

?

?