A*
International Colloquium on Automata Languages and Programming ICALP
International Conference on the Principles of Knowledge Representation and Reasoning KR
IEEE Symposium on Logic in Computer Science LICS
ACM/SIAM Symposium on Discrete Algorithms SODA
ACM Symposium on Theory of Computing STOC
International Joint Conference on Artificial Intelligence IJCAI
ACM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication SIGCOMM
A
International Conference on Theory and Applications of Satisfiability Testing SAT
International Joint Conference on Automated Reasoning IJCAR
IEEE Conference on Computational Complexity CCC
International Symposium on Theoretical Aspects of Computer Science STACS
B
IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Logic Programming and Automated Reasoning LPAR
Advances in Modal Logic AiML
International Conference on Theorem Proving with Analytic Tableaux and Related Methods TABLEAUX
International Symposium on Mathematical Foundations of Computer Science MFCS
International Conference on Formal Structures for Computation and Deduction FSCD
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009) ITP
Logics in Artificial Intelligence, European Conference JELIA
Foundations of Software Science and Computational Structures FOSSACS
International Symposium on Symbolic and Algebraic Computation ISSAC
C
International Colloquium on Theoretical Aspects of Computing ICTAC
Workshop on Logic, Language, Information and Computation WoLLIC
Computability in Europe: Logic and Theory of Algorithms CiE