IEEE Symposium on Logic in Computer Science

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

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.

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)

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. The conference of the MathFuzzLog. (bi-annual)

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)

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: Fri 31 Aug 2012 09:12:40 CEST
Andrzej Murawski