| Boise Extravaganza in Set Theory Conferences: (BEST) organized at Department of Mathematics and Computer Science, Boise State University. |
| CADE: Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning. |
| FMOODS: Formal Methods for Open Object-based Distributed Systems. An annual series of conferences. |
| Formal Methods: World Congress on Formal Methods (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. |
| LOPSTR: International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991. |
| MFPS: Mathematical Foundations of Programming Semantics. An annual series of meetings. |
| NMRW: International Workshops on Nonmonotonic Reasoning. |
| Set Theory and its Neighbours: A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London. |
| TABLEAUX: The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings. |
| TARK - Theoretical Aspects of Rationality and Knowledge: Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge. |
Classical
