09. – 14. Oktober 2011, Dagstuhl Seminar 11411
Letzte Aktualisierung: 18. Dezember 2015

Computing with Infinite Data: Topological and Logical Foundations

Participants

  • Andrej Bauer (University of Ljubljana, SI)
  • Veronica Becher (University of Buenos Aires, AR)
  • Ulrich Berger (Swansea University, GB)
  • Jens Blanck (Swansea University, GB)
  • Vasco Brattka (Universität der Bundeswehr – München, DE)
  • Matthew de Brecht (ATR – Kyoto, JP)
  • Hannes Diener (Universität Siegen, DE)
  • Martín H. Escardó (University of Birmingham, GB)
  • Willem L. Fouché (UNISA – Pretoria, ZA)
  • Sy David Friedman (Universität Wien, AT)
  • Stefano Galatolo (University of Pisa, IT)
  • Guido Gherardi (University of Bologna, IT)
  • Vassilios Gregoriades (TU Darmstadt, DE)
  • Serge Grigorieff (University of Paris VII, FR)
  • Peter G. Hancock (University of Strathclyde, GB)
  • Reinhold Heckmann (AbsInt – Saarbrücken, DE)
  • Peter Hertling (Universität der Bundeswehr – München, DE)
  • Tie Hou (Swansea University, GB)
  • Hajime Ishihara (JAIST – Ishikawa, JP)
  • Akitoshi Kawamura (University of Tokyo, JP)
  • Takayuki Kihara (Tohoku University, JP)
  • Anton Konovalov (A. P. Ershov Institute – Novosibirsk, RU)
  • Margarita Korovina (Manchester University, GB)
  • Alexander P. Kreuzer (TU Darmstadt, DE)
  • Hans-Peter Albert Künzi (University of Cape Town, ZA)
  • Stéphane Le Roux (TU Darmstadt, DE)
  • Luca Motto Ros (Universität Freiburg, DE)
  • Norbert T. Müller (Universität Trier, DE)
  • Damian Niwinski (University of Warsaw, PL)
  • Fredrik Nordvall Forsberg (Swansea University, GB)
  • Dag Normann (University of Oslo, NO)
  • Paulo Oliva (Queen Mary University of London, GB)
  • Arno Pauly (University of Cambridge, GB)
  • Jean-Eric Pin (University of Paris VII, FR)
  • Robert Rettinger (FernUniversität in Hagen, DE)
  • Carsten Roesnick (TU Darmstadt, DE)
  • Jan Rutten (CWI – Amsterdam, NL)
  • Matthias Schröder (Universität der Bundeswehr – München, DE)
  • Peter M. Schuster (University of Leeds, GB)
  • Helmut Schwichtenberg (LMU München, DE)
  • Victor Selivanov (A. P. Ershov Institute – Novosibirsk, RU)
  • Svetlana Selivanova (Sobolev Institute of Mathematics – Novosibirsk, RU)
  • Anton Setzer (Swansea University, GB)
  • Dieter Spreen (Universität Siegen, DE)
  • Ludwig Staiger (Martin-Luther-Universität Halle-Wittenberg, DE)
  • Nazanin Tavana-Roshandel (Amir Kabir University of Technology – Teheran, IR)
  • Wolfgang Thomas (RWTH Aachen, DE)
  • Hideki Tsuiki (Kyoto University, JP)
  • Bill Wadge (University of Victoria, CA)
  • Klaus Weihrauch (FernUniversität in Hagen, DE)
  • Martin Ziegler (TU Darmstadt, DE)