Для обеспечения удобства работы с сервисами данного сайта и поддержания высокого уровня их безопасности мы используем файлы cookie. Подробное описание используемых нами файлов cookie, порядке их отключения содержится в Политике конфиденциальности . Нажимая на кнопку «СОГЛАСЕН», Вы подтверждаете, что проинформированы об использовании cookies на нашем сайте, а также принимаете наши Политику конфиденциальности и Правила пользования сайтом.
ГлавнаяОбразованиеОбразовательные программы и мероприятияМатематический центрВычисления в топологических структурах: основания и реализации
Образовательные программы и мероприятия

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