This web page of conferences and workshops that have an overlap with logic in computer science is maintained by the LICS organization. The first half of the page is an incomplete list of dates, some tentative and some fixed, for upcoming meetings of some logic related conferences. The second half is a list of logic related conferences and associations.
If you are an organizer of a logic related conference or workshop and have some information you would like to include here, please send an email to schweika@informatik.uni-frankfurt.de.
On this page:
Calendar
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)
ICALP. International Colloquium on Automata, Languages and Programming. (annual)
ICDT. International Conference on Database Theory. (bi-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)
PODS. ACM Symposium on Principles of Database Systems. (annual)
RTA. Rewriting Techniques and Applications. (annual)
SAT. International Conferences 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)