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

MathAI 2026 — Sirius

Second edition of the MathAI series, held at the Sirius International Mathematics Center, Sochi, Russia in 2026. Focused on mathematical logic, optimisation, proof-theoretic verification of AI systems and formal foundations of trustworthy AI. Hosted...
Second edition of the MathAI series, held at the Sirius International Mathematics Center, Sochi, Russia in 2026. Focused on mathematical logic, optimisation, proof-theoretic verification of AI systems and formal foundations of trustworthy AI. Hosted by the Sobolev Institute of Mathematics SB RAS.
Project Details
Region RU
Country RU
Visibility Public
Language EN
Hierarchy Level 1
Start 14 Sep 2026
End 17 Sep 2026
Budget 5,000 USD
Created 19 Feb 2026
Circles (1)
Public Observers
custom
0 members