Topics
Lists of Systems
Conferences
-
ACM
Symp. on Principles of Database Systems (PODS)
-
Advances
in Modal Logic (AiML)
-
Algebraic
Methodology And Software Technology (AMAST)
-
Association
for Symbolic Logic (ASL)
-
Automated
Deduction in Geometry (ADG)
-
Computer
Science Logic (CSL)
-
Computer-Aided
Verification (CAV)
-
Conference
on Analytic Tableaux and Related Methods (TABLEAUX)
-
Conference
on Automated Deduction (CADE)
-
Conference
on Computational Logic (CL)
-
Conference
on Theoretical Aspects of Rationality and Knowledge (TARK)
-
Constraints
in Computational Logics (CCL'94)
-
Construction
of Computational Logics (CCL)
-
Database
Programming Languages (DBPL)
-
European
Joint Conferences on Theory and Practice of Software (ETAPS)
-
European
Summer School in Logic, Language, and Information (ESSLLI)
-
European
Workshop on Logics in AI (JELIA)
-
Explicit
Substitutions: Theory and Applications to Programs and Proofs (WESTAPP)
-
Federated
Conference on Rewriting, Deduction and Programming (RDP)
-
Federated
Logic Conference (FLoC)
-
First-Order
Theorem Proving (FTP)
-
Fixed
Points in Computer Science (FICS)
-
Foundations
of Software Science and Computation Structures (FOSSACS)
-
Foundations
of Software Technology and Theoretical Computer Science (FSTTCS)
-
Frontiers
of Combining Systems (FroCoS)
-
Functional
and Logic Programming (FLOPS)
-
Fundamentals
of Computation Theory (FCT)
-
Fundamentals
of Information and Knowledge Systems (FoIKS)
-
Higher-Order
Algebra, Logic and Term Rewriting (HOA)
-
IFIP
International Conference on Theoretical Computer Science (IFIP TCS)
-
International
Colloquium on Automata, Languages and Programming (ICALP)
-
International
Conf. on Concurrency Theory (CONCUR)
-
International
Conference on Database Theory (ICDT)
-
International
Conference on Functional Programming (ICFP)
-
International
Conference on Logic Programing (ICLP)
-
International
Conference on Rewriting Techniques and Applications (RTA)
-
International
Conference on Theorem Proving in Higher Order Logics (TPHOLs)
-
International
Joint Conference on Automated Reasoning (IJCAR)
-
International
Workshop on Description Logics (DL)
-
International
Workshop on First-Order Theorem Proving (FTP)
-
International
Workshop on Foundations of Object-Oriented Languages (FOOL)
-
International
Workshop on Logic-based Program Synthesis and Transformation (LOPSTR)
-
International
Workshop on Nonmonotonic Reasoning (NM)
-
Joint
Conference on Declarative Programming (AGP)
-
Knowledge
Representation Meets Databases (KRDB)
-
Kurt
Godel Colloquia (KGC)
-
Language
Descriptions, Tools and Applications (LDTA)
-
Latin
American Theoretical Informatics (LATIN)
-
Logic
Programming and Nonmonotonic Reasoning (LPNMR)
-
Logic
and Diagrammatic Information (LDI98)
-
Logic
for Programming and Automated Reasoning (LPAR)
-
Logic
in Computer Science (LICS)
-
Logical
Foundations of Computer Science (LFCS)
-
Logics,
Types and Rewriting (LTR)
-
Mathematical
Foundations of Computer Science (MFCS)
-
Mathematical
Foundations of Programming Semantics (MFPS)
-
Mathematics
of Program Construction (MPC)
-
Principles
and Practice of Constraint Programming (CP)
-
Principles
and Practice of Declarative Programming (PPDP)
-
Principles
of Knowledge Representation and Reasoning (KR)
-
Principles,
Logics, and Implementations of High-Level Programming Languages (PLI)
-
Reduction
Strategies in Rewriting and Programming (WRS)
-
Rewriting
Logic and its Applications (WRLA)
-
Rewriting
in Proof and Computation (RPC)
-
Rule-Based
Programming (RULE)
-
Symposium
on Logical Formalizations of Commonsense Reasoning (Common Sense)
-
Symposium
on Theoretical Aspects of Computer Science (STACS)
-
Symposium
on Theory of Computing (STOC)
-
The
Panhellenic Logic Symposium (PLS)
-
Typed
Lambda Calculi and Applications (TLCA)
-
Unification
Workshop (UNIF)
-
Workshop
on Intersection Types and Related Systems (ITRS)
-
Workshop
on Logic, Language, Information and Computation (WoLLIC)
-
Workshop
on Termination (WST)