Other Logic-related meetings
Other forthcoming logic meetings
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
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.
and Computation Workshop, 11.-16.1.2004 Tahuna Beach, New
Theory, Topology and Set Theory, 25 September 2003. London
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,
- 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.
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 )
Logic Colloquium 2000 (Paris)
- Set Theory and Analysis (LMS/EPSRC Short Course),
University of Leeds, September 11-16, 2000.
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, ...)
Wittgenstein Symposium 1999 (Lower Austria)
- ESSLLI 1999 (Utrecht)
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