中国计算机学会推荐国际学术会议
（计算机科学理论）
一、A类
序号 会议简称 会议全称 出版社 日期 网址
1
STOC
ACM Symposium on Theory of Computing
ACM
  
2
FOCS
IEEE Symposium on Foundations of
Computer Science
IEEE
  
3
LICS
IEEE Symposium on Logic in Computer
Science
IEEE
  
二、B类
序号 会议简称 会议全称 出版社 日期 网址
1
SoCG
ACM Symposium on Computational
Geometry
ACM
  
2
SODA
ACM-SIAM Symposium on Discrete
Algorithms
SIAM
  
3
CAV
Computer Aided Verification
Springer
  
4
CADE/IJCAR
Conference on Automated Deduction
/The International Joint Conference on
Automated Reasoning
Springer
  
5
CCC
IEEE Conference on Computational Complexity
IEEE
  
6
ICALP
International Colloquium on Automata,
Languages and Programming
Springer
  
7
CONCUR
International Conference on
Concurrency Theory
Springer
  
三、C类
序号 会议简称 会议全称 出版社 日期 网址
1
CSL
 Computer Science Logic
Springer
  
2
ESA
 European Symposium on Algorithms
Springer
  
3
FSTTCS
 Foundations of Software Technology
and Theoretical Computer Science
Indian
Association
for Research
in Computing
Science
  
4
IPCO
 International Conference on Integer
Programming and Combinatorial
Optimization
Springer
  
5
RTA
 International Conference on Rewriting
Techniques and Applications
Springer
  
6
ISAAC
 International Symposium on
Algorithms and Computation
Springer
  
7
MFCS
 Mathematical Foundations of
Computer Science
Springer
  
8
STACS
Symposium on Theoretical Aspects
of Computer Science
Springer
  
9
FMCAD
Formal Method in Computer-Aided Design
ACM
  
10
SAT
Theory and Applications of
Satisfiability Testing
Springer