- Об университете
- Поступление
Поступление
- Исследования
- Медиа
По вопросам участия в программе просим обращаться по адресу cdpo@talantiuspeh.ru
В последние годы получены значительные продвижения в теории вычислений на топологических структурах, по аналогии с известной теорией вычислений на дискретных структурах. Эти продвижения направлены на преодоление разрыва между применяемыми алгоритмами работы с топологическими структурами (численные методы, компьютерная алгебра и символьные вычисления) и недостатком математических оснований для их анализа. Несмотря на то, что существует много важных прикладных численных алгоритмов для вычислений с вещественными числами или в функциональных пространствах, стандартная их реализация (использующая числа с плавающей запятой) не всегда даёт решения с произвольной гарантированной точностью. Исследования вычислимости и сложности в анализе важны не только как основа для численных методов, но и для моделирования, спецификации и верификации систем с непрерывным временем и гибридных систем. Объектом исследования здесь является структурная сложность (в широком смысле) бесконечных вычислений.
Конференция соберёт исследователей, работающих в соответствующих областях математики и информатики, с целью развития сотрудничества между лидирующими научными группами.
Организаторы:
Николай Баженов, Институт математики им. С.Л. Соболева СО РАН
Takayuki Kihara, Nagoya University
Виктор Селиванов, Институт систем информатики им. А.П. Ершова СО РАН
Математический центр «Сириус» дполнительно проводит конкурсный отбор студентов и аспирантов вузов и научных организаций России для участия в конференции в качестве слушателя. Для участия в конкурсе необходимо прикрепить к заявке резюме, рекомендательное письмо научного руководителя, либо представителя администрации факультета/института и справку с места обучения. По результатам конкурса для участия в конференции может быть приглашено до 10 человек.
Всем, кто прошел конкурсный отбор и был приглашен на программу, необходимо предоставить справку с места обучения, взятую не ранее, чем за 3 месяца до начала образовательной программы.
Научно-технологический университет «Сириус» обеспечивает проживание, проезд / перелет по территории РФ и питание для участников программы.
Плата за обучение на программе не взимается.
К участию в программе допускаются только граждане РФ.
Университет «Сириус» – это пространство, где студенты, ведущие ученые и представители российских технологических компаний объединяются, чтобы разрабатывать новые технологии и внедрять их в привычную жизнь. У каждого студента нашей страны есть возможность стать частью команды, которая меняет мир вокруг.
Специально для этого в «Сириусе» были созданы краткосрочные интенсивные программы, участниками которых могут стать студенты из всех регионов страны. Все программы созданы в партнерстве с ведущими компаниями и посвящены актуальным вопросам и направлениям в науке.
