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