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

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 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 2000, ISMVL 2001, ISMVL 2002, ISMVL 2003

Logic Colloquium '95, Logic Colloquium '96, Logic Colloquium '97, Logic Colloquium '98, Logic Colloquium '99, Logic Colloquium 2000, Logic Colloquium 2002, Logic Colloquium 2004

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

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 '97, WoLLIC '99, WoLLIC - Vision, WoLLIC'2000, WoLLIC'2001, WoLLIC'2002