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

Logic Related Links By Christian Urban. http://www.cl.cam.ac.uk/~cu200/logic.html