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

MathAI 2025 — Sirius

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...
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.
Project Details
Region RU
Country RU
Visibility Public
Language EN
Hierarchy Level 1
Start 15 Sep 2025
End 18 Sep 2025
Created 08 May 2026