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://www.informatik.hu-berlin.de/lics/

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

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

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

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

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

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

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/

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

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