CCA Related Events in the Past

Here are some links to conferences with CCA related topics or talks in the past:

2002

Workshop on Formal Topology, Venice, Italy, April 4-6, 2002
Dagstuhl-Seminar on Mathematical Structures for Computable Topology and Geometry, Dagstuhl, Germany, May 26-31, 2002
TIM 2002 and JAMEX II, International Conference on Topology and its Applications, joined with Second Japan-Mexico Topology Symposium, Matsue, Japan, June 24-28, 2002
Bounded Arithmetic and Complexity Classes, Lisbon, Portugal, June 28-29, 2002
17th Summer Topology Conference, Auckland, New Zealand, July 1-4, 2002
ICALP 2002, 29th International Colloquium on Automata, Languages, and Programming, Málaga, Spain, July 8-13, 2002
LC 2002, Logic Colloquium, Münster, Germany, August 3-10, 2002
TCS 2002, 2nd IFIP International Conference on Theoretical Computer Science, Montreal, Canada, August 25-30, 2002
ICM 2002 Satellite Conference in Logic, the 8th Asian Logic Conference, Chongqing, China, August 29-September 2, 2002
Workshop on Domains VI, Birmingham, UK, September 16-19, 2002
12th GI Theoryday on Automata and Formal Languages, Wittenberg, Germany, September 23-26, 2002
scan 2002, 10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Paris, France, September 23-27, 2002

Workshop on Computability and Models, Heidelberg, Germany, January 18-20, 2001
MFPS 2001, Conference on the Mathematical Foundations of Programming Semantics, Aarhus, Denmark, May 23-27, 2001
Symposium on Proving, Solving and Computing, Tsukuba, Japan, June 28, 2001
DMTCS 2001, International Conference on Discrete Mathematics and Theoretical Computer Science, Constanta (Constantza), Romania, July 2-6, 2001
ICAGT 2001, International Conference on Applicable General Topology, Ankara, Turkey, August 12-18, 2001
CCCG 2001, Canadian Conference on Computational Geometry, University of Waterloo, Canada, August 13-15, 2001
COCOON 2001, Annual International Computing and Combinatorics Conference, Guilin, China, August 20-23, 2001
MFCS 2001, International Symposium on Mathematical Foundations of Computer Science, Marianske Lazne, Czech Republic, August 27-31, 2001
CSL 2001, Annual Conference of the European Association for Computer Science Logic, Paris, France, September 10-13, 2001

BCTCS 2000, British Colloquium for Theoretical Computer Science, Liverpool, UK
ICWLC 2000, Colloquium on Words, Languages and Combinatorics, Kyoto, Japan
RNC 2000, Real Numbers and Computers, Dagstuhl, Germany
Logic and Applications, Novosibirsk, Russia
Dagstuhl-Seminar on Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization, Dagstuhl, Germany
MFCSIT 2000, Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland
LC 2000, Logic Colloquium, Paris, La Sorbonne, France
COCOON 2000, Annual International Computing and Combinatorics Conference, Bondi Beach, Sydney, Australia
SOFSEM 2000, 27th Annual Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic

DMTCS/CATS'99, Discrete Mathematics and Theoretical Computer Science, Computing: The Australian Theory Symposium, Auckland, New Zealand
Reuniting the Antipodes, Symposion on Constructive and Nonstandard Views of the Continuum, San Servolo, Venice, Italy
ALC'99, Asian Logic Conference, Hsi-Tou, Taiwan
Workshop on Complexity and Exact Computation and Complexity over the Real Numbers, Royal Holloway, UK
ICALP'99, International Colloquium on Automata, Languages, and Programming, Prague, Czech Republic
COCOON'99, Annual International Computing and Combinatorics Conference, Tokyo, Japan
Summer Conference on General Topology and its Applications, Brookville, USA
CCF'99, Workshop on Constructivity, Complexity, and Fuzziness, Galati, Romania
MFCS'99, International Symposium on Mathematical Foundations of Computer Science, Szklarska Poreba, Poland

MCU'98, Universal Machines and Computations, Metz, France
RNC'98, Real Numbers and Computers, Paris, France
RealComp'98, Real Number Computation, Indianapolis, USA
ICALP'98, International Colloquium on Automata, Languages, and Programming, Aalborg, Denmark
COCOON'98, Annual International Computing and Combinatorics Conference, Taipei, Taiwan
MFCS'98, Mathematical Foundations of Computer Science, Brno, Czech Republic

ICALP '97, International Colloquium on Automata, Languages, and Programming, Bologna, Italy
CTCS'97, Category Theory and Computer Science, Margherita Ligure, Italy
COCOON'97, Annual International Computing and Combinatorics Conference, Shanghai, China
SOFSEM'97, Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic