ccc09

Continuity, Computability, Constructivity:
From Logic to Algorithms

 
Köln/Cologne, Germany, July 14-18, 2009

  
Joint meeting of the following bi-national projects:

   - Computations over non-discrete structures: models, semantics and complexity (D-RUS)
   - From continuity to computability (D-South Africa)
   - Logic and algorithms for continuous data spaces (D-UK)

In addition there will be some external guests.


Invited Speakers (all confirmed):

         A. Bauer (University of Ljubljana, Slovenia)
         W. Fouché (UNISA, Pretoria, South Afrika)
         J. Gaspar (TU Darmstadt, Germany)
         H. Ishihara (JAIST, Kanazawa, Japan)
         O. Kudinov (Sobolev Institute of Mathematics, Novosibirsk, Russia)
         D. Pattinson (Imperial College, London, UK)
         R. Rettinger (FernUniversitaet, Hagen, Germany)
         M. Schroeder (University of the Federal Armed Forces, Munich, Germany)
         A. Simpson (University of Edinburgh, UK)
         A. Stukachev (Sobolev Institute of Mathematics, Novosibirsk, Russia)
         T. Trifonov (LMU, Munich, Germany)
         H. Tsuiki (Kyoto University, Japan).


Programme Committee:

         Ulrich Berger (Swansea University, UK)
         Vasco Brattka (UCT, Cape Town, South Africa)
         Yuri L. Ershov (Sobolev Institute of Mathematics, Novosibirsk, Russia)
         Andrei Morozov (Sobolev Institute of Mathematics, Novosibirsk, Russia)
         Dieter Spreen (University of Siegen, Germany)


Post-Workshop Publication:

Conference Proceedings will be published as a special issue of the Annals of Pure and Applied Logic. They will be refereed according to the standards of the Journal. (Details).


Organizing Committee:

Ulrich Berger – Vasco Brattka – Yuri L. Ershov – Dieter Spreen