1

STOC

 ACM Symposium on the Theory of Computing

2

SODA

 ACM-SIAM Symposium on Discrete Algorithms

3

CAV

 Computer Aided Verification

4

FOCS

 IEEE Annual Symposium on Foundations of Computer Science

5

LICS

 IEEE Symposium on Logic in Computer Science

1

SoCG

 ACM Symposium on Computational Geometry

2

ESA

 European Symposium on Algorithms

3

CCC

 IEEE Conference on Computational Complexity

4

ICALP

 International Colloquium on Automata, Languages and Programming

5

CADE/IJCAR

 International Conference on Automated Deduction/International Joint Conference on Automated Reasoning

6

CONCUR

 International Conference on Concurrency Theory

7

HSCC

 International Conference on Hybrid Systems: Computation and Control

8

SAT

 Theory and Applications of Satisfiability Testing

9

COCOON

International Computing and Combinatorics Conference

1

CSL

Computer Science Logic

2

FMCAD

Formal Methods in Computer-Aided Design

3

FSTTCS

Foundations of Software Technology and Theoretical Computer Science

4

DSAA

IEEE International Conference on Data Science and Advanced Analytics

5

ICTAC

International Colloquium on Theoretical Aspects of Computing

6

IPCO

International Conference on Integer Programming and Combinatorial Optimization

7

RTA

International Conference on Rewriting Techniques and Applications

8

ISAAC

International Symposium on Algorithms and Computation

9

MFCS

Mathematical Foundations of Computer Science

10

STACS

Symposium on Theoretical Aspects of Computer Science

11

SETTA

International Symposium on Dependable Software Engineering: Theories, Tools, and Applications