02-06
августа

005s: Computational Complexity Theory

Лекторы

Александр Куликов, ПОМИ РАН & СПбГУ Анастасия Софронова, ПОМИ РАН
Дмитрий Соколов, СПбГУ Татьяна Белова, ПОМИ РАН
Иван Михайлин, ПОМИ РАН Михаил Слабодкин, Solveva
Артур Рязанов, ПОМИ РАН Александр Смаль, ПОМИ РАН

Даты проведения

02 августа 2021 - 06 августа 2021

Место проведения

Парк науки и искусства, зал «Чехов»

Описание

Теория сложности вычислений – это область теоретической информатики (Computer Science), посвященная исследованию сложности алгоритмов для решения задач на основе формальных моделей вычислительных устройств. Сложность алгоритмов измеряется необходимыми для их реализации ресурсами, таких как длительность вычислений или необходимый объём памяти.  Школа познакомит слушателей с классическими результатами, а также последними достижениями и открытыми задачами в области теории сложности вычислений. Программа школы состоит из 4 курсов:

  • Схемная сложность булевых функций.
  • Высокоточные оценки сложности.
  • Сложность доказательств.
  • Формульная сложность и гипотеза KRW

Прием заявок для участия в конкурсном отборе открыт до: 4 июля 2021 года.

Участники и порядок отбора:

В качестве слушателей приглашаются студенты старших курсов бакалавриата или специалитета, студенты магистратуры, обучающиеся по математическим направлениям подготовки, аспиранты математических специальностей, молодые исследователи.

К заявке необходимо приложить:

резюме, содержащее информацию о ФИО, дате рождения, месте учебы, уровне владения английским языком (при наличии приложите сертификат), а также перечень научных публикаций, перечень научных конференций и школ, в которых принималось участие;

рекомендательное письмо научного руководителя, включающее ответы на вопросы: степень соответствия тематики исследования теме научной школы, степень подготовленности к усвоению материала;

справку с места обучения;

а также решить задачи на платформе stepik.

По вопросам участия в научной школе просим обращаться по адресу smc@sochisirius.ru.

Условия участия:

Всем, кто прошел конкурсный отбор и был приглашен на программу, необходимо получить и отправить на почту oumr.university@talantiuspeh.ru скан-копии:

1) справки о санитарно-эпидемиологическом окружении;

2) справки с отрицательным результатом тестирования методом ПЦР на новую коронавирусную инфекцию COVID-19,

полученных не ранее чем за 3 дня до выезда в университет.

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

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

Программа