← All Projects
Projects › IAIC Conference Series — Globa... › ENIGMA-CONF-2025-MATHAI
↑ Parent: IAIC Conference Series — Global
ENIGMA-CONF-2025-MATHAI Completed Conference M-02: Global AI Governance Framework

MathAI 2025 — Sirius

Dates September 15, 2025 — September 18, 2025
Region RU, RU
EN
Andrey Nechesov
Project Lead
Andrey Nechesov
Chairman, IAIC
+ Subscribe
Inaugural edition of the MathAI conference. Held at the Sirius International Mathematics Center, Sochi, Russia in 2025. Set the foundational programme for the series — eight disciplines including mathematical logic, optimisation, proof theory, and AI verification. Hosted by the Sobolev Institute of Mathematics SB RAS.

Get conference updates

Be the first to know when the Call for Papers opens, the venue is announced, and registration with the early-bird discount goes live.