CCA Related Events

Here are some links to earlier conferences with CCA related topics or talks:

2005

CiE 2005, Computability in Europe: New Computational Paradigms, University of Amsterdam, The Netherlands, June 8-12, 2005
International Workshop on Computations on the Continuum, Lisbon, Portugal, June 27-28, 2005
Summer Conference on Topology & its Applications 2005, Granville, Ohio, USA, July 10-13, 2005
Logic Colloquium 2005, Athens, Greece, July 28 – August 3, 2005
COCOON 2005, The Eleventh International Computing and Combinatorics Conference, Kunming, Yunnan, China, August 16-19, 2005
CSL 2005, The 14th International Conference on Computer Science Logic, Oxford, UK, August 22-25, 2005
Small TYPES workshop, Constructive analysis, types and exact real numbers, Nijmegen, The Netherlands, October 3-4, 2005

Logic and Computation Workshop, Tahuna Beach, Nelson, New Zealand, January 11-16, 2004
Annual Meeting of the Association for Symbolic Logic, Carnegie Mellon, Pittsburgh, USA, May 19-23, 2004
Logic, Algebra and Geometry, St. Petersburg, Russia, June 1-7, 2004
ICALP 2004, 31st International Colloquium on Automata, Languages and Programming, Turku, Finland, July 12-16, 2004
Workshop on Computability in Hierarchies and Topological Spaces, Siena, Italy, July 19-24, 2004
CCA Workshop 2004, Lutherstadt Wittenberg, Germany, August 16-20, 2004
Dagstuhl-Seminar on Spatial Representation:Discrete vs.Continuous Computational Models, Schloß Dagstuhl, Germany, August 22-27, 2004
DOMAINS VII, Darmstadt, Germany, August 29 - September 1, 2004
Conference on Logic, Computability and Randomness, Córdoba, Argentina, September 20-24, 2004
RNC 2004, International Conference on Real Numbers and Computers, Schloß Dagstuhl, Germany, November 15-17, 2004

STACS 2003, 20th International Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003
Computability and Randomness Workshop 2003, Heidelberg, Germany, April 25-26, 2003
From Sets and Types to Topology and Analysis, Towards Practicable Foundations for Constructive Mathematics, Venice International University (VIU), San Servolo, Venice, Italy, May 12-16, 2003
STOC 2003, Thirty-Fifth Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 7-14, 2003
Workshop on Computability and Logic, Heidelberg, Germany, June 23-27, 2003
4th Panhellenic Logic Symposium, Thessaloniki, Greece, July 7-10, 2003
DMTCS 2003, Fourth International Conference on Discrete Mathematics and Theoretical Computer Science, Dijon, France, July 7-12, 2003
COCOON 2003, The Ninth International Computing and Combinatorics Conference, Big Sky, MT, USA, July 25-28, 2003
Second St. Petersburg Days of Logic and Computability, St. Petersburg, Russia, August 24-26, 2003
CCA Conference 2003, Cincinnati, USA, August 28-30, 2003
RNC 2003, Real Numbers and Computers, Lyon, France, September 3-5, 2003
Minisymposion on Constructivity in Analysis and Topology, Rostock, Germany, September 18, 2003
Domains, Topology and Constructive Logic, München, Germany, November 1-2, 2003