Серия конференций по доменам посвящена математическим основаниям вычислимости и представляет интерес как для математиков, так и для специалистов в области теоретического программирования. Основными темами конференции являются теория доменов и ее приложения, а также вопросы, исследуемые в рамках совместного германо-российского проекта DFG-РФФИ "Вычислимость над недискретными структурами: модели, семантика, сложность".

Конференция будет проходить в Институте математики им. С.Л.Соболева СО РАН, расположенном в новосибирском Академгородке.

Направления работы:

Основные темы конференции:

домены и топология	реализуемость
эффективные домены и пространства	переработка доказательств
вычислимость над непрерывными пространствами	конструктивная математика и ее семантика
семантика программ	теория вычислимости
модели последовательных вычислений	конструктивные модели
лямбда-исчисление	допустимые множества

Андрей Бауэр (Любляна, Словения) The Role of the Interval Domain in Modern Exact Real Arithmetic
Ульрих Бергер (Суонси, Великобритания) A Domain-Theoretic Characterisation of Strong Normalisation for the Lambda-R-Calculus
Ацуши Йошикава (Фукуока, Япония) A Computability Flavoured View on Sobolev Spaces (+ slides)
Джимми Лоусон (Батон Руж, США) Directed Complete Completions
Алекс Симпсон (Эдинбург, Великобритания) Neoclassical Domain Theory
Питер Хертлинг (Мюнхен, Германия) Continuous Reducibility of Functions
Мартин Эскардо (Бирмингем, Великобритания) Infinite Sets That Admit Exhaustive Search

Программный комитет:

Юрий Ершов ИМ СО РАН, Новосибирск, Россия
Сергей Гончаров ИМ СО РАН, Новосибирск, Россия
Клаус Кеймель (председатель) Технический университет г. Дармштадт, Германия
Ульрих Коленбах Технический университет г. Дармштадт, Германия
Андрей Морозов (сопредседатель) ИМ СО РАН, Новосибирск, Россия
Виктор Селиванов НГПУ, Новосибирск, Россия
Дитер Шприн Университет г. Зиген, Германия
Ахим Юнг Университет г. Бирмингем, Великобритания

Алексей Стукачев ИМ СО РАН, Новосибирск (domains@math.nsc.ru)

Thomas Anberree	Total Correctness for Sequential Real Programs
Bodil Biering	An Analysis of Cartesian Closure in Dialectica Categories (+ slides)
Jens Blanck	Effectively Stable Algebras
Eyvind Briseid	Proof Mining and Effective Metric Fixed Point Theory
Cristian S. Calude Helmut Jürgensen Ludwig Staiger	Topology on Strings
Yixiang Chen	Domain Semantics of Possibility Computations (+ slides)
Ernst-Erich Doberkat Christoph Schubert	Bisimilarity, Behavioral and Logical Equivalence for Stochastic Right Coalgebras (+ slides)
Tanja Grubba	Effectivity on Subsets and Continuous Functions in Computable $T_0$-spaces
Klaus Keimel Artus Rosenbusch Thomas Streicher	Deriving Predicate Transformer Semantics for $pGCL$ from its Direct Semantics
Ulrich Kohlenbach	Recent Applications of Proof Theory in Nonlinear Analysis
Margarita Korovina Oleg Kudinov	The Uniformity Principle for $Sigma$-definability with Applications to Computable Analysis
Petter Kristian Køber	Uniform Domain Representations of $l^p$-Spaces
Oleg Kudinov Victor Selivanov Anton Zhukov	Definability in the Homomorphic Quasiorder of Countable Labeled Forests
James Laird	Bidomains and Non-deterministic Computation
Laurentiu Leustean	Proof Mining in Nonlinear Analysis
Andrei Morozov	On $Sigma$-Presentable Structures over R, C, and H
Bernhard Reus, Thomas Streicher	A Synthetic Account of Sequential Domain Theory
Vladimir Sazonov	Natural non-dcpo Domains and f-Spaces (+ slides)
Victor Selivanov	On the Wadge Reducibility of k-Partitions
Dieter Spreen	On Effectivity and Continuity of Multifunctions
Lei Yinbin Luo Maokang	A Note on Coherent Domains Generated by $T^{kappa}$
Lei Yinbin Luo Maokang	Rough Concept Lattices and Domains
Martin Ziegler	Non-Uniformly Computable Analysis

работы конференции доступна здесь.

Труды конференции будут опубликованы в специальном выпуске журнала "Annals of Pure and Applied Logic". Представление материалов будет организовано по окончании работы конференции. Представленные к публикации материалы будут рецензироваться в соответствии с обычными стандартами журнала.

Важнейшие даты:

Для участников из стран СНГ и Восточной Европы размер регистрационного взноса составляет 300 рублей, для остальных участников 85 евро.

Участники конференции будут размещаться в гостинице "Золотая Долина", расположенной в непосредственной близости от места проведения конференции.

Дополнительная информация:

Организационный комитет

Андрей Морозов (председатель), Александр Кравченко(зам. председателя), Павел Алаев, Александр Гаврюшкин, Маргарита Коровина, Олег Кудинов, Галина Морозова, Вета Мурзина, Сергей Подзоров, Александра Ревенко, Алексей Стукачев, Марина Стукачева, Екатерина Фокина, Асылхан Хисамиев

Ваши комментарии Обратная связь

СО РАН [Институт Математики им. С.Л.Соболева] [Конференции]

    Дата последней модификации: Monday, 08-Oct-2007 23:16:55 NOVST