Алгоритмические представления в математике

В вычислимой (или эффективной) математике изучаются алгоритмические свойства математических объектов. Вопросы эффективности уже возникают в проблемах Гильберта (в частности, во второй и десятой проблемах), а также в работах М. Дена (начало 20-го века), инициировавшего изучение проблем слов в теории групп. В 1930-х гг. А. Тьюринг, К. Гёдель и другие исследователи разработали формальное понятие алгоритма.

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

В течение последнего десятилетия в вычислимой математике получены значительные продвижения в различных областях – в эффективной алгебре, вычислимом анализе и теории вычислений с ограниченными ресурсами. Эти направления тесно взаимосвязаны, и нельзя провести чёткую границу между ними. В рамках конференции ведущие эксперты обсудят новые достижения в современных направлениях вычислимой математики.

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

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

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

Николай Баженов, Институт математики им. С.Л. Соболева СО РАН

Искандер Калимуллин, Казанский федеральный университет

Всем, кто прошел конкурсный отбор и был приглашен на программу, необходимо получить и отправить на почту smc@sochisirius.ru скан-копию одного из следующих документов:

• Сертификат о вакцинации или справка о прохождении первого этапа вакцинации. В случае противопоказаний к вакцинации необходимо иметь в наличии справку о медицинском отводе и отрицательный результат ПЦР-теста (полученный не ранее, чем за три календарных дня до заселения);​
• Отрицательный результат ПЦР-теста (полученный не ранее, чем за три календарных дня до заселения) и обязательно - добровольное согласие на прохождение вакцинации в течение трех дней со дня заселения. Обратиться в прививочный пункт необходимо самостоятельно;​
• Медицинский документ или сертификат о перенесенном заболевании из личного кабинета портала Госуслуг – для лиц, со дня выздоровления которых прошло не более 6 месяцев до заселения.​

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

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