Семинар «Математические основы искусственного интеллекта»

А.И. Буфетов, С.М. Горбунов и А.В. Клименко "Детерминантные точечные процессы".

И.А. Дынников, М.В. Прасолов и В.А. Шастин "Маломерная топология".

Д.О. Орлов, Ю.Г. Прохоров, К.А. Шрамов "Бирациональная геометрия трехмерных многообразий".

2024 г. Летняя школа "Современная математика" имени Виталия Арнольда, г. Дубна

2023 г. С.О. Сперанский. Основы теории множеств. Осенний семестр

2023 г. Летняя школа "Современная математика" имени Виталия Арнольда, г. Дубна

2022 г. Р.В. Шамин. Математика анализа данных. Осенний семестр

2022 г. С.О. Сперанский. Основы теории множеств. Осенний семестр

2022 г. Е.В. Дашков. Введение в теорию сложности. Осенний семестр

2022 г. Летняя школа «Современная математика» имени Виталия Арнольда, г. Дубна

2022 г. Р.В. Шамин. Стохастический анализ и его приложения в машинном обучении. Весенний семестр

2022 г. С.Л. Кузнецов, В.Б. Шехтман. Алгебраическая и категорная логика. Весенний семестр

2022 г. МФТИ. Т.Л. Яворская. Неклассические логики. Весенний семестр

2022 г. МФТИ. А.С. Трушечкин. Квантовые вычисления. Весенний семестр

2022 г. МФТИ. Д.И. Савельев. Теория множеств. Весенний семестр

2021 г. С.Л. Кузнецов. Лямбда-исчисление. Осенний семестр

2021 г. МФТИ. Д.И. Савельев. Теория множеств. Осенний семестр

2021 г. МФТИ. Д.А. Кронберг. Квантовая криптография. Осенний семестр

2021 г. Летняя школа «Современная математика» имени Виталия Арнольда, г. Дубна

2021 г. МФТИ. М.А. Королёв. Теория чисел. Осенний семестр

2021 г. МФТИ. Т.Л. Яворская. Неклассические логики. Весенний семестр

2021 г. Д.С. Широков. Основы теории алгебр Клиффорда и спиноров. Весенний семестр

Спецсеминар "Теория доказательств"

2020 г. Logic Online Seminar and Proof Theory Seminar. Department of Mathematical Logic. Steklov Mathematical Institute

2020 г. Р.В. Шамин. Функциональный анализ и машинное обучение. Осенний семестр

2018-2019 гг. Л.Д. Беклемишев, Ф.Н. Пахомов. Введение в теорию доказательств и ординальный анализ

Конференция «Классическая механика, динамические системы и математическая физика», посвященная 70-летию академика В.В. Козлова (20–24 января 2020 г.)

2019-2020 гг. Л.Д. Беклемишев, С.Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление

Online Conference ”Frontiers of holographic duality"