📐 СПЕЦИАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ ВЫПУСК MATHAI 2026
Journal of Mathematical Sciences (Springer Nature Switzerland AG)
Уважаемые коллеги, участники конференции MathAI 2026!
Формируется специальный выпуск международного математического журнала Journal of Mathematical Sciences (издательство Springer Nature Switzerland AG; индексируется в Scopus и Web of Science) по результатам конференции MathAI 2026 (Научно-технологический университет «Сириус», Сочи).
Тематика выпуска
Математические основания искусственного интеллекта: теория моделей и вычислимость; формальная и вероятностная верификация; логики программ; языки программирования для верифицируемых систем; вычислимая семантика; теоретико-модельные методы в машинном обучении; смежные разделы математической логики и теоретической информатики.
Отбор
В выпуск войдут 5–6 лучших математических работ участников MathAI 2026. Отбор осуществляется программным комитетом. Критерии — новизна математического результата, строгость изложения, значимость для области.
Требования к рукописям
Каждая работа должна быть существенно переработана относительно версии, представленной на конференции:
▸ новое название;
▸ новый абстракт;
▸ расширенное введение с современным обзором литературы;
▸ новые математические результаты — теоремы, доказательства, конструкции, — не входившие в конференционный текст.
Оригинальность содержания — обязательное требование Springer. Работы без содержательного расширения к отбору не допускаются.
Подача заявок
Заявку направлять по e-mail:
[email protected]
Заявка включает:
1. Предварительное название и абстракт (до 1 страницы);
2. Перечень новых результатов, отличающих рукопись от конференционного варианта;
3. Список авторов с аффилиациями.
⏰ Дедлайн подачи заявок: 31 июля 2026 г.
После отбора авторы получат подробные требования Springer к оформлению рукописи и график подготовки полной версии для рецензирования.
С уважением,
Нечесов Андрей Витальевич
чл.-корр. РИА
организационный комитет MathAI 2026