TARK - Theoretical Aspects of Rationality and Knowledge  
   Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge.
   http://www.tark.org/

AiML - Advances in Modal Logic  
   A bi-annual workshop and book series. The aim of the workshop series is to report on important new developments in pure and applied modal logic, at varying locations throughout the world. The book series is based on the workshops.
   http://turing.wins.uva.nl/~mdr/AiML/

Boise Extravaganza in Set Theory Conferences  
   (BEST) organized at Department of Mathematics and Computer Science, Boise State University.
   http://math.boisestate.edu/~best/

CADE  
   Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning.
   http://www.cs.albany.edu/~nvm/cade.html

TABLEAUX  
   The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.
   http://i12www.ira.uka.de/TABLEAUX/

FMOODS  
   Formal Methods for Open Object-based Distributed Systems. An annual series of conferences.
   http://www.cs.ukc.ac.uk/research/netdist/fmoods/

Set Theory and its Neighbours  
   A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
   http://www.ucl.ac.uk/~ucahcjm/stn.html

Inference in Computational Semantics (ICoS)  
   An annual series of workshops. Endorsed by SIGSEM, the ACL Special Interest Group in Computational Semantics.
   http://turing.wins.uva.nl/~mdr/ICoS/

Methods for Modalities  
   A series of workshops on the relationship between modal formalisms and computer science.
   http://turing.wins.uva.nl/~m4m/

Formal Methods  
   World Congress on Formal Methods (FM).
   http://dblp.uni-trier.de/db/conf/fm/

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.
   http://logik.mathematik.uni-freiburg.de/lics/

LOPSTR  
   International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
   http://www.cs.man.ac.uk/~kung-kiu/lopstr/

NMRW  
   International Workshops on Nonmonotonic Reasoning.
   http://www.kr.org/RelatedConferences.html

MFPS  
   Mathematical Foundations of Programming Semantics. An annual series of meetings.
   http://math.tulane.edu/~mfps/