Научная школа «Элементы теории графов, теории информации и комбинаторной теории игр»

Международная лаборатория теоретической информатики организует научную школу «Элементы теории графов, теории информации и комбинаторной теории игр» в учебном центре НИУ ВШЭ в Вороново. Основная цель школы — познакомить слушателей с направлениями деятельности и задачами сотрудников лаборатории. Сотрудники и стажеры лаборатории прочтут мини-курсы из 1-3 лекций по направлениям своих исследований.

День1

26 апреля, пятница

14:30-15:45

Лекция «Кошки-мышки и другие игры из Алгоритмической теории информации»

Лектор: Н.К. Верещагин Запись лекции

15:45-17:00

Мини-курс «Дизъюнктная сложность булевых функций и семейств множеств», 1 лекция

Лектор: М.Н. Вялый Запись лекции

17:30-18:30

Мини-курс «Случайные графы», лекция 1

Лектор: Н. Звонков Запись лекции

Случайные графы

19:30-20:00

Лекция «Introduction to Kolmogorov complexity» (на английском языке)

Лектор: Б. Баувенс Трансляция Zoom

День2

27 апреля, суббота

10:15-11:15

Лекция «Об автоморфизмах тотального матричного графа»

Лектор: В.В. Промыслов Запись лекции

11:15-12:00

Лекция «w-регулярные языки и разрешимость монадических теорий»

Лектор: А. Слизков Запись лекции

«ω-регулярные языки и разрешимость монадических теорий»

12:30-13:30

Лекция «Числа, удаленные от простых, образуют базис порядка 2»

Лектор: А.О. Радомский Запись лекции

12:30-13:30

Лекция «Длины коммутативных алгебр»

Лектор: М.А. Хрыстик

13:30-14:30

Мини-курс «Случайные графы», лекция 2

Лектор: Н. Звонков

13:30-14:30

Лекция «Распределение ранга суммы невырожденных матриц»

Лектор: Максаев А.М.

14:30-15:15

Лекция «Алгоритмическая сложность решения рекуррент»

Лектор: А. Парфенов

«Алгоритмическая сложность решения рекуррент»

14:30-15:15

Доклад «Максимальная клика тотального графа кольца матриц»

Лектор: Д. Шешеня

17:00-18:00

Лекция «Алгоритмические вопросы для матричных групп»

Лектор: А.Л. Таламбуца Запись лекции

18:30-19:30

Лекция «Винтовые динамические системы и их приложения в игре «Точный медленный ним» (онлайн)

Лектор: В.А. Гурвич

День3

28 апреля, воскресенье

10:15-11:30

Мини-курс «Дизъюнктная сложность булевых функций и семейств множеств», лекция 2

Лектор: М.Н. Вялый

11:30-12:15

Доклад «Применение SAT-солвера в задачах на разрезание на двумерной решётке»

Лектор: Ф. Куянов

12:45-13:30

Лекция «Полноспектровые наборы матриц»

Лектор: И. Воротников

13:30-14:15

Лекция «О кликах регулярного графа кольца матриц»

Лектор: И. Гусев

Докладчики

Верещагин Николай Константинович

Международная лаборатория теоретической информатики: Заведующий лабораторией

Вялый Михаил Николаевич

Международная лаборатория теоретической информатики: Ведущий научный сотрудник

Баувенс Бруно Фредерик Л.

Международная лаборатория теоретической информатики: Научный сотрудник

Гурвич Владимир Александрович

Международная лаборатория теоретической информатики: Ведущий научный сотрудник

Радомский Артем Олегович

Международная лаборатория теоретической информатики: Научный сотрудник

Таламбуца Алексей Леонидович

Международная лаборатория теоретической информатики: Старший научный сотрудник

Максаев Артем Максимович

Международная лаборатория теоретической информатики: Заместитель заведующего лабораторией

Промыслов Валентин Валерьевич

Международная лаборатория теоретической информатики: Научный сотрудник