Университет «Сириус»

Вычисления в топологических структурах: основания и реализации

  • Научный центр:Математический центр
  • Сроки проведения:27 июня - 1 июля
  • Срок подачи заявки:6 июня

Прием заявок для участия в конкурсном отборе открыт до 6 июня 2022 года
По вопросам участия в конференции просим обращаться по адресу cdpo@talantiuspeh.ru

Университет «Сириус» – это пространство, где студенты, ведущие ученые и представители российских технологических компаний объединяются, чтобы разрабатывать новые технологии и внедрять их в привычную жизнь. У каждого студента нашей страны есть возможность стать частью команды, которая меняет мир вокруг.  Специально для этого в «Сириусе» были созданы краткосрочные интенсивные программы, участниками которых могут стать студенты из всех регионов страны. Все программы созданы в партнерстве с ведущими компаниями и посвящены актуальным вопросам и направлениям в науке. 

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

Математический центр «Сириус» дполнительно проводит конкурсный отбор студентов и аспирантов вузов и научных организаций России для участия в конференции в качестве слушателя. Для участия в конкурсе необходимо прикрепить к заявке резюме, рекомендательное письмо научного руководителя, либо представителя администрации факультета/института и справку с места обучения. По результатам конкурса для участия в конференции может быть приглашено до 10 человек.

О программе

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

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

Организаторы:

Николай Баженов, Институт математики им. С.Л. Соболева СО РАН
Takayuki Kihara, Nagoya University
Виктор Селиванов, Институт систем информатики им. А.П. Ершова СО РАН

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

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

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

Плата за обучение на программе не взимается.

К участию в программе допускаются только граждане РФ.

Последние новости