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
2004
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
2003
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
Related Events in the Past
Conferences and Workshops with CCA related talks or topics in the past
Activate
JavaScripts
on your browser in order to display this page correctly!
© 1997 until now - Vasco Brattka