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.
- ...