Научная школа «Элементы теории сложности, комбинаторной теории матриц и теории графов»
Международная лаборатория теоретической информатики организует научную школу «Элементы теории сложности, комбинаторной теории матриц и теории графов» в учебном центре НИУ ВШЭ в Вороново. Основная цель школы — познакомить слушателей с направлениями деятельности и задачами сотрудников лаборатории. Сотрудники и стажеры лаборатории прочтут мини-курсы из 1-3 лекций по направлениям своих исследований.
Дата проведения мероприятия: 26.09. - 28.09.2025
Приглашаются студенты факультета компьютерных наук. Участие в мероприятии бесплатное, будет организовано: трансфер до/от места пребывания в день заезда/выезда, проживание и трехразовое питание. Количество мест ограничено, будет проводиться отбор по заявкам.
-
26 сентября
Лекция «Апериодические замощения плоскости многоугольниками» (Верещагин Н.К.) 14:30-16:00
Презентация
(PDF, 1,16 Мб) Мини-курс «Модальная логика и её применения», лекция 1 (Запрягаев А.А.) 16:00-17:00
Презентация
(PDF, 689 Кб) Лекция «Равновесия Нэша в чистых стационарных стратегиях для игр двух игроков с положительными аддитивными штрафами» (Вялый М.Н.) 17:30-19:00
Презентация
(PDF, 468 Кб) -
27 сентября
Мини-курс «Дистанционно-регулярные графы и схемы отношений», лекция 1 (Промыслов В.В.) 10:15-11:15
Лекция «Kolmogorov complexity characterizations of cryptographic conjectures» (Баувенс Б., на английском языке) 11:15-12:30
Лекция «Об итерировании аффинных функций и нестандартных системах счисления» (Таламбуца А.Л.) 13:00-14:00
Лекция «Длинные строки составных значений полиномов и базис порядка 2» (Радомский А.О.) 14:00-15:00
Лекция «Арифметические цепи и протоколы доказательств с нулевым разглашением» (Соколов П.П.) 16:00-17:00
Лекция «Метрики и ультраметрики на ориентированных графах» (Гурвич В.А., онлайн) 17:00-18:00
Презентация
(PDF, 1,14 Мб) Лекция «Игры вычитания и булевы рекурренты» (Парфёнов А.) 18:30-19:20
-
28 сентября
Мини-курс «Модальная логика и её применения», лекция 2 (Запрягаев А.А.) 10:15-11:45
Мини-курс «Дистанционно-регулярные графы и схемы отношений», лекция 2 (Максаев А.М.) 10:15-11:45
Ссылка на запись
Лекция «Сложность задач подсчёта» (Иванашев Я.) 12:15-13:15
Презентация
(PDF, 229 Кб) Лекция «Длины матричных алгебр» (Хрыстик М.А.) 12:15-13:15
Ссылка на запись
Лекция «Solomonoff induction» (Кузнецов Г.) 13:15-14:15
Лекция «Фундаментальная теорема Хуа о геометрии матриц» (Гусев И.) 13:15-14:15
Презентация
(PDF, 191 Кб)