Collection Topological and Game-Theoretic Aspects of In nite Computations Dagstuhl Seminar (original) (raw)

08271 Abstracts Collection--Topological and Game-Theoretic Aspects of Infinite Computations}

From June 29, 2008, to July 4, 2008, the Dagstuhl Seminar 08271 Topological and Game-Theoretic Aspects of Innite 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.

A survey on topological games and their applications in analysis

Revista de la Real Academia de Ciencias …, 2006

In this survey article we shall summarise some of the recent progress that has occurred in the study of topological games as well as their applications to abstract analysis. The topics given here do not necessarily represent the most important problems from the area of topological games, but rather, they represent a selection of problems that are of interest to the authors.

04061 Abstracts Collection--Real Computation and Complexity}

Real Computation and …

From 01.02. 04 to 06.02. 04, the Dagstuhl Seminar 04061``Real Computation and Complexity''was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ...

Topological games and topological groups

Topology and its Applications, 2001

A semitopological group (topological group) is a group endowed with a topology for which multiplication is separately continuous (multiplication is jointly continuous and inversion is continuous). In this paper we give some topological conditions on a semitopological group that imply that it is a topological group. In particular, we show that every almostČech-complete semitopological group is a topological group. Thus we improve some recent results of A. Bouziad.

05021 Abstracts Collection – Mathematics, Algorithms, Proofs

2006

From 09.01.05 to 14.01.05, the Dagstuhl Seminar 05021 ``Mathematics, Algorithms, Proofs'' 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. The first section describes the seminar topics and goals in general. LinkstFo extended abstracts or full papers are provided, if available.

04061 Abstracts Collection Real Computation and Complexity Dagstuhl Seminar

2006

From 01.02.04 to 06.02.04, the Dagstuhl Seminar 04061 Real Computation and Complexity 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. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

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.