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.cam.ac.uk/programs/MAA/

Logic and Algorithms  
   Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006.
   http://www.newton.cam.ac.uk/programmes/LAA/

World Congress on Universal Logic  
   1st World Congress and School on Universal Logic. Montreux, Switzerland, March 26 - April 3, 2005.
   http://www.uni-log.org/

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/

Infinite Games  
   Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004.
   http://www.math.uni-bonn.de/people/fotfs/V/

LICS  
   IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. Links to past and future meetings, mailing list, newsletters.
   http://www.lfcs.informatics.ed.ac.uk/lics

2005 ASL Spring Meeting  
   Association for Symbolic Logic - San Francisco, California - March 23-27, 2005.
   http://www.phil.ucalgary.ca/asl-sf-2005/

CiE 2005  
   Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005.
   http://www.illc.uva.nl/CiE/