AiML. Advances in Modal Logic. (bi-annual)
ASL. Association for Symbolic Logic.
AAR. Association for Automated Reasoning.
CCC. IEEE Conference on Computational Complexity. (annual)
CiE. Computability in Europe.
CL. Portal of Computational Logic.
CP. International Conference on Principles and Practice of Constraint Programming. (annual)
CSL. Conference on Computer Science Logic. (annual)
DL. International Workshop on Description Logics. (annual)
EACSL. European Association for Computer Science Logic.
EAPLS. European Association for Programming Languages and Systems.
EATCS. European Association for Theoretical Computer Science.
FoLLI. Association of Logic, Language and Information.
FOOL. International Workshop on Foundations of Object-Oriented Languages. (annual)
ICALP. International Colloquium on Automata, Languages and Programming. (annual)
ICDT. International Conference on Database Theory. (annual)
ICFP. International Conference on Functional Programming. (annual)
KR. Principles of Knowledge Representation and Reasoning.
LATIN. Latin American Theoretical Informatics Symposium. (bi-annual)
LICS. IEEE Symposium on Logic in Computer Science. (annual)
LOPSTR. International Workshop on Logic-based Program Synthesis and Transformation. (annual)
LPAR. International Conference on Logic for Programming Artificial Intelligence and Reasoning. (annual)
MathFuzzLog. The working group on Mathematical Fuzzy Logic.
PODS. ACM Symposium on Principles of Database Systems. (annual)
RTA. Rewriting Techniques and Applications. (annual)
SAT. International Conference on Theory and Applications of Satisfiability Testing. (annual)
STOC. ACM Symposium on Theory of Computing. (annual)
TARK. Conference on Theoretical Aspects of Rationality And Knowledge. (bi-annual)
TLCA. International Conference on Typed Lambda Calculi and Applications. (bi-annual)
TABLEAUX. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. (annual)
WoLLIC. Workshops on Logic, Language, Information and Computation. (annual)