← All Projects
↑ Parent: IAIC Conference Series — Global
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
Project Lead
A
Andrey Nechesov
fxcom@yandex.ru