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

Ulrich Berger, Vasco Brattka, Victor Selivanov, Dieter Spreen & Hideki Tsuiki
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: Topological and Logical Foundations'' was held. This report collects the ideas that were presented and discussed during the course of the seminar.