IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences

Logic Related Conferences and Associations

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.

ACP. Association for Constraint Programming, including 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)

FSCD. International Conference on Formal Structures for Computation and Deduction. (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.

LATD. Logic, Algebra and Truth Degrees. A conference of the working group on Mathematical Fuzzy Logic and the Kurt Godel Society. (bi-annual)

LATIN. Latin American Theoretical Informatics Symposium. (bi-annual)

LICS. ACM/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)

PODS. ACM Symposium on Principles of Database Systems. (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)

TABLEAUX. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. (annual)

WoLLIC. Workshops on Logic, Language, Information and Computation. (annual)


Back to the LICS web page.

Last modified: Sun Nov 21 12:59:31 GMT 2021
Sam Staton