english deutsch
BLC
British Logic Colloquium, British Logic Colloquium 1996, British Logic Colloquium 1998, British Logic Colloquium 1999, British Logic Colloquium 2000, British Logic Colloquium 2001, British Logic Colloquium 2002, British Logic Colloquium 2004
Calendars
Association of Logic Programming, British Colloquium for Theoretical Computer Scienc, Conferences of Interest for Complexity People, LJ-IGPL, Related Conferences and Events, Logic-Related Conferences
ESSLLI
ESSLLI 2000, ESSLLI 2001, ESSLLI 2001 Student Session, ESSLLI 2003, ESSLLI 2004, ESSLLI'97, ESSLLI'98, ESSLLI'99, European Summer School in Logic, Language and Inf
ISMVL
ISMVL 2000, ISMVL 2001, ISMVL 2002, ISMVL 2003
Logic Colloquium
Logic Colloquium '95, Logic Colloquium '96, Logic Colloquium '97, Logic Colloquium '98, Logic Colloquium '99, Logic Colloquium 2000, Logic Colloquium 2002, Logic Colloquium 2004
Past Conferences
2001 Greater Boston Logic Meeting, 2005 ASL Spring Meeting, 21st Days of Weak Arithmetics, 6BLM, 9th Annual Logic Summer School, AC2001, ACL2-2002, ADD'2002, ADMW01, Algebra and Discrete Mathematics
Series
AiML - Advances in Modal Logic, Boise Extravaganza in Set Theory Conferences, CADE, FMOODS, Formal Methods, Inference in Computational Semantics (ICoS), LICS, LOPSTR, Methods for Modalities, MFPS
WoLLIC
WoLLIC '97, WoLLIC '99, WoLLIC - Vision, WoLLIC'2000, WoLLIC'2001, WoLLIC'2002
CiE 2005
Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005.
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.
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.
Logic and Algorithms
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006.
LPNMR'05
8th meeting on logic programming and nonmonotonic reasoning:co-located with the INFOMIX Workshop on Data Integration. University of Calabria, Italy; 5--8 September 2005.
Model Theory and Applications to Algebra and Analy
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- 15 July 2005.
WILF 2005
International Workshop on Fuzzy Logic and Applications. University of Milan, Crema, Italy; 15--17 September 2005.