2−6 августа 2021 года
005s: Теория сложности вычислений

  • Лекторы
    Татьяна Белова, ПОМИ РАН
    Александр Куликов, ПОМИ РАН & СПбГУ
    Иван Михайлин, ПОМИ РАН
    Михаил Слабодкин, Solveva
    Александр Смаль, ПОМИ РАН
    Дмитрий Соколов, СПбГУ
    Анастасия Софронова, ПОМИ РАН
    Артур Рязанов, ПОМИ РАН
  • Описание
    Теория сложности вычислений – это область теоретической информатики (Computer Science), посвященная исследованию сложности алгоритмов для решения задач на основе формальных моделей вычислительных устройств. Сложность алгоритмов измеряется необходимыми для их реализации ресурсами, таких как длительность вычислений или необходимый объём памяти. Школа познакомит слушателей с классическими результатами, а также последними достижениями и открытыми задачами в области теории сложности вычислений. Программа школы состоит из 4 курсов:
    • Схемная сложность булевых функций.
    • Высокоточные оценки сложности.
    • Сложность доказательств.
    • Формульная сложность и гипотеза KRW
    Программа школы
  • Слушатели
    В качестве слушателей приглашаются студенты старших курсов бакалавриата или специалитета, студенты магистратуры, обучающиеся по математическим направлениям подготовки, аспиранты математических специальностей, молодые исследователи.

    К заявке необходимо приложить:
    • резюме, содержащее информацию о ФИО, дате рождения, месте и курсе обучения, уровне владения английским языком, а также перечень научных публикаций, перечень научных конференций и школ, в которых принималось участие;
    • рекомендательное письмо научного руководителя, включающее ответы на вопросы: степень соответствия тематики исследования теме конференции, степень подготовленности к усвоению материала, а также экспертную оценку достижений.
    • справку с места обучения;
    • а также решить задачи на платформе stepik.
    Всем, кто прошел конкурсный отбор и был приглашен на программу, необходимо получить и отправить на почту oumr.university@talantiuspeh.ru скан-копии:
    1) справки о санитарно-эпидемиологическом окружении;
    2) справки с отрицательным результатом тестирования методом ПЦР на новую коронавирусную инфекцию COVID-19,
    полученных не ранее чем за 3 дня до выезда в университет.

    По приезде в университет участникам следует предоставить оригиналы указанных документов во время регистрации.

    Научно-технологический университет «Сириус» обеспечивает проезд по России, двухразовое питание и проживание для слушателей школы.