2025г. Л.Д. Беклемишев, С.О. Сперанский. Нестандартные модели арифметики. Осенний семестр.

2025 г. Д.А. Кронберг "Квантовая криптография". Осенний семестр.

А.С. Холево "Математические основы квантовой информатики"

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

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

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

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

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 гг. Л.Д. Беклемишев, Ф.Н. Пахомов. Введение в теорию доказательств и ординальный анализ