Николай Баженов, ИМ СО РАН
Takayuki Kihara, Nagoya University
Виктор Селиванов, ИСИ СО РАН

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

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

Программа и аннотации докладов