Иван Оселедец, AIRI & Сколтех
Денис Турдаков, ИСП РАН
Андрей Нечесов, НГУ & ИМ СО РАН
Сергей Стрижак, ИСП РАН
Игорь Ануреев, ИСИ СО РАН & НГУ
Дмитрий Кондратьев, ИСИ СО РАН & НГУ
Виталий Казаков, НГУ
Иван Бондаренко, НГУ
Сергей Новиков, НГУ

Программный комитет:
Иван Оселедец, AIRI & Сколтех
Сергей Гончаров, ИМ СО РАН & НГУ
Денис Турдаков, ИСП РАН
Андрей Нечесов, НГУ & ИМ СО РАН
Дмитрий Свириденко, НГУ
Евгений Витяев, ИМ СО РАН & НГУ
Андрей Манцивода, ИГУ
Сергей Стрижак, ИСП РАН
Игорь Ануреев, ИСИ СО РАН & НГУ
Дмитрий Кондратьев, ИСИ СО РАН & НГУ
Денис Пономарев, ИСИ СО РАН
Иван Бондаренко, НГУ

Задача конференции — создание уникальной платформы для обмена мнениями и идеями между ведущими специалистами в области математики и теоретического программирования с целью
сформировать формальный базис таких ключевых трендов в разработке интеллектуальных программных систем, как

• доверенный искусственный интеллект;
• объяснимый искусственный интеллект;
• гибридный искусственный интеллект;
• большие языковые модели.

Конференция посвящена новым математическим методам и подходам для систем искусственного интеллекта. Построение сильного искусственного интеллекта требует новых прорывных математических решений, особенно это касается обучения интеллектуальных систем.

На конференцию мы приглашаем исследователей имеющих прорывные разработки в области ИИ, которые базируются на следующих математических дисциплинах:

• математическая логика;
• теория алгоритмов;
• теория вероятности и математическая статистика;
• матричный анализ и линейная алгебра;
• методы оптимизации и теория управления;
• теория доказательств и дедуктивная верификация;
• дифференциальные уравнения;
• теория игр для объяснения и интерпретации работы диффузионных моделей, больших языковых моделей, вариационных автокодировщиков, байесовских нейронных сетей.

Расписание докладов, зал «Турин»

Расписание докладов, зал «Шамони»