Directory: Top/Science/Math/Logic_and_Foundations/Meetings/Past

Top / Science / Math / Logic_and_Foundations / Meetings / Past_Conferences /

CiE 2005
Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005.
http://www.illc.uva.nl/CiE/
Uva.nl ~ Site Info Whois Trace Route RBL Check

Computation Prospects of Infinity
Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, National University of Singapore; 20 June -- 15 August 2005.
http://www.ims.nus.edu.sg/Programs/infinity/
Nus.edu.sg ~ Site Info Whois Trace Route RBL Check

LCCS 2001
International Workshop on Logic and Complexity in Computer Science. Créteil, France; 3--5 September 2001.
http://www.univ-paris12.fr/lacl/LCCS2001/
Univ-paris12.fr ~ Site Info Whois Trace Route RBL Check

FLoC 1999
The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June -- 12 July 1999.
http://floc99.itc.it/index.asp
Itc.it ~ Site Info Whois Trace Route RBL Check

The Continuum Hypothesis
A workshop featuring a number of lectures surveying the current insights into the continuum problem and its variations. MSRI, Berkeley, CA, USA; 29 May -- 1 June 2001.
http://www.msri.org/calendar/workshops/WorkshopInfo/94/show_workshop
Msri.org ~ Site Info Whois Trace Route RBL Check

Model Theory and Applications to Algebra and Analysis
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- 15 July 2005.
http://www.newton.ac.uk/programmes/MAA/
Newton.ac.uk ~ Site Info Whois Trace Route RBL Check