AI for the Working Mathematician

A three-day ICMS workshop at the Bayes Centre bringing academic and industry researchers together at the interface of mathematics and machine learning. The stated topics are automated theorem proving, formalisation in Lean, conjecture generation and machine learning on mathematical datasets, with invited talks alongside specialist working groups aimed at a shared research agenda. In-person attendance is by application and the deadline is Friday 30 October 2026; late submissions are not accepted. Accepted applicants arrange their own travel and may request a 150 pound travel contribution, subject to availability. An online Zoom stream of talks and presentations is available with separate registration. Scientific organisers are Max Esposito (Axiom Math), Andrew Hone (University of Kent), Tom Oliver (University of Westminster), Kamilla Rekvenyi (University of Manchester), Neil Saunders (City St George's, University of London) and Sara Veneziale (Imperial College London). No start time is published on the ICMS page.