Theory & Algorithms

120 series

CAV CORE A* 2023

Computer Aided Verification

Software Engineering Theory & Algorithms

EC CORE A* 2023

ACM Conference on Economics and Computation

Artificial Intelligence Theory & Algorithms

FOCS CORE A* 2023

IEEE Symposium on Foundations of Computer Science

Theory & Algorithms

KR CORE A* 2023

International Conference on the Principles of Knowledge Representation and Reasoning

Artificial Intelligence Theory & Algorithms

LICS CORE A* 2023

IEEE Symposium on Logic in Computer Science

Theory & Algorithms

SODA CORE A* 2023

ACM/SIAM Symposium on Discrete Algorithms

Theory & Algorithms

STOC CORE A* 2023

ACM Symposium on Theory of Computing

Theory & Algorithms

ALENEX CORE A 2023

Workshop on Algorithm Engineering and Experiments

Theory & Algorithms

APPROX/RANDOM CORE A 2023

International Workshop on Approximation Algorithms for Combinatorial Optimization Problems and International Conference on Randomization and Computation

Theory & Algorithms

CCC CORE A 2023

IEEE Conference on Computational Complexity

Theory & Algorithms

CONCUR CORE A 2023

International Conference on Concurrency Theory

Theory & Algorithms Distributed & Cloud Computing

ESA CORE A 2023

European Symposium on Algorithms

Theory & Algorithms

FM CORE A 2023

International Symposium on Formal Methods (was Formal Methods Europe FME)

Software Engineering Theory & Algorithms

FOSSACS CORE A 2023

Foundations of Software Science and Computational Structures

Theory & Algorithms Software Engineering

GD CORE A 2023

Theory & Algorithms

ICALP CORE A 2023

International Colloquium on Automata Languages and Programming

Theory & Algorithms

ICLP CORE A 2023

International Conference on Logic Programming

Theory & Algorithms Software Engineering

IJCAR CORE A 2023

International Joint Conference on Automated Reasoning

Artificial Intelligence Software Engineering Theory & Algorithms

IPCO CORE A 2023

Conference on Integer Programming and Combinatorial Optimization

Theory & Algorithms

ISAAC CORE A 2023

International Symposium on Algorithms and Computation

Theory & Algorithms

ISSAC CORE A 2023

International Symposium on Symbolic and Algebraic Computation

Theory & Algorithms

ITCS CORE A 2023

Innovations in Theoretical Computer Science

Theory & Algorithms

ITP CORE A 2023

Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)

Theory & Algorithms

JELIA CORE A 2023

Logics in Artificial Intelligence, European Conference

Theory & Algorithms Artificial Intelligence