Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411) (original) (raw)

Computing with Infinite Data: Topological and Logical Foundations Edited by

2011

There is a large gap between mathematical structures and the structures computer implementations are based on. To stimulate research to overcome this-especially for infinitary structures-highly non-trivial problem the Dagstuhl Seminar 11411 "Computing with Infinite Data: Topolo-gical and Logical Foundations" was held. This report collects the ideas that were presented and discussed during the course of the seminar.

Collection Topological and Game-Theoretic Aspects of In nite Computations Dagstuhl Seminar

2008

From June 29, 2008, to July 4, 2008, the Dagstuhl Seminar 08271 Topological and Game-Theoretic Aspects of In nite Computations was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, many participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

07441 Abstracts Collection--Algorithmic-Logical Theory of Infinite Structures}

Abstract From 28.10. to 02.11. 2007, the Dagstuhl Seminar 07441``Algorithmic-Logical Theory of Infinite Structures''was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper.

CID - Computing with Infinite Data

Bull. EATCS, 2017

CID is a new international research project with about 20 participating institutions, mainly from Europe, but also from Chile, Japan, New Zealand, Russia, Singapore, South Africa, South Korea, and the USA. It is funded by the European Union as well as several national funding organisations, and is running for four years. The joint research will study important aspects—both theoretical as well as applied—of computing with infinite o bjects. A central aim is laying the grounds for the generation of efficient and verified software in engineering applications. A prime example for infinite data is provided by the real numbers, most commonly conceived as infinite sequences of d igits. Since the reals are fundamental in mathematics, any attempt to compute objects of mathematical interest has to be based on an implementation of real numbers. While most applications in science and engineering substitute the reals with floating p oint n umbers o f fi xed finite precision and thus have to deal...

Foundations of Computational Mathematics, Hong Kong 2008

2009

This volume is a collection of articles based on the plenary talks presented at the 2008 meeting in Hong Kong of the Society for the Foundations of Computational Mathematics. The talks were given by some of the foremost world authorities in computational mathematics. The topics covered reflect the breadth of research within the area as well as the richness and fertility of interactions between seemingly unrelated branches of pure and applied mathematics. As a result this volume will be of interest to researchers in the field of computational mathematics and also to non-experts who wish to gain some insight into the state of the art in this active and significant field.