2005 ASL Spring Meeting 2005 ASL Spring Meeting: Association for Symbolic Logic - San Francisco, California - March 23-27, 2005. (Meetings) http://www.phil.ucalgary.ca/asl-sf-2005/
Computation Prospects of Infinity 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. (Meetings) http://www.ims.nus.edu.sg/Programs/infinity/
Model Theory and Applications to Algebra and Analysis 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. (Meetings) http://www.newton.cam.ac.uk/programs/MAA/
Logic and Algorithms Logic and Algorithms: Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006. (Meetings) http://www.newton.cam.ac.uk/programmes/LAA/
Infinite Games Infinite Games: Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004. (Meetings) http://www.math.uni-bonn.de/people/fotfs/V/
LICS 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. (Meetings) http://www.lfcs.informatics.ed.ac.uk/lics
World Congress on Universal Logic World Congress on Universal Logic: 1st World Congress and School on Universal Logic. Montreux, Switzerland, March 26 - April 3, 2005. (Meetings) http://www.uni-log.org/
Additional
Information: Meetings, conferences and symposia related to mathematical logic.
-
