Other Logic-related meetings

• Logic Colloquium 2008, Bern, 3-8 July 2008
• Birmingham
• Leeds
• Norwich
• St Andrews
• British Colloquium on Theoretical Computer Science
• ...

Other forthcoming logic meetings

Set theory and its neighbours. 5th December 2007, University College London.

Old international logic meetings

• Progic'07 - The Third Workshop on Combining Probability and Logic. . University of Canterbury, 5-7 September 2007.
• 13th International Congress of Logic Methodology and Philosophy of Science. Beijing, 9-15 August 2007.
• 2nd World Congress and School on Universal Logic, Xi'an, China, August 16--22, 2007
• New College Logic Meeting 2006 . University of Oxford, September 25-26, 2006.
• Second MATHLOGAPS Training Workshop (summer school for Logic PhD students) University of Leeds, August 21-25, 2006.
• ASL 2005, July 28 - August 3, 2005
• 1st World Conference and School on Universal Logic, Montreux, March 26 - April 3, 2005.
• Logic and Computation Workshop, 11.-16.1.2004 Tahuna Beach, New Zealand
• Measure Theory, Topology and Set Theory, 25 September 2003. London Mathematical Society.
• 12th. International Congress of Logic Methodology and Philosophy of Science Oviedo (Spain), August 7-13, 2003
• Algebraic and Topological Methods in Non-Classical Logics Tbilisi, Georgia, 7 - 11 July 2003
• Federated Logic conference (Copenhagen, July 20-August 1, 2002)
• 13th European Summer School in Logic, Language and Information (Helsinki, August 13-24, 2001)
• Logic in Computer Science (Boston, June 16-19 2001)
• Algebra and Set Theory London Mathematical Society, 4.1.2001.
• Workshop on Logic and Language (Seville, November 29-30 and December 1)
• Second DeMorgan Workshop on the History of Logic, King's College London. 6/7 November 2000.
• Logic-related conferences (maintained at Bell Labs)
• Numbers, Sets and Structures (Bristol), 18 November 2000
• Seventh International Conference on Tools and Algorithms for the construction and analysis of systems ( TACAS'01 )
• ASL Logic Colloquium 2000 (Paris)
• Set Theory and Analysis (LMS/EPSRC Short Course), University of Leeds, September 11-16, 2000.
• Tableaux'00 (St Andrews) July 4-7, 2000.
• Logic in Computer Science 2000 (LICS'2000; Santa Barbara, California) June 26-29, 2000.
• St.Petersburg Days of LOGIC and COMPUTABILITY (May 99, ...)
• International Wittgenstein Symposium 1999 (Lower Austria)
• ESSLLI 1999 (Utrecht)
• ASL Logic Colloquium 1999 (Utrecht)
• Logic, Methodology and Philosophy of Science 1999 (Krakow)
• 20th International Ludwig Wittgenstein Symposium
• FLOC'99 (Trento)
• Theorem Proving in Higher-Order Logics (TPHOL'99, Nice). Sep 14-17, 1999.
• ...