CCF推荐的计算机科学理论领域会议分级列表

CCF推荐计算机科学理论领域国际学术会议分级结果

点击 计算机科学理论 查看该领域国际期刊分级结果

会议简称 会议全称 出版社 所属学科 CCF分级
STOC ACM Symposium on the Theory of Computing ACM 计算机科学理论 A
SODA ACM-SIAM Symposium on Discrete Algorithms SIAM 计算机科学理论 A
CAV Computer Aided Verification Springer 计算机科学理论 A
FOCS IEEE Annual Symposium on Foundations of Computer Science IEEE 计算机科学理论 A
LICS IEEE Symposium on Logic in Computer Science IEEE 计算机科学理论 A
SoCG ACM Symposium on Computational Geometry ACM 计算机科学理论 B
ESA European Symposium on Algorithms Springer 计算机科学理论 B
CCC IEEE Conference on Computational Complexity IEEE 计算机科学理论 B
ICALP International Colloquium on Automata, Languages and Programming Springer 计算机科学理论 B
CADE/IJCAR International Conference on Automated Deduction/International Joint Conference on Automated Reasoning Springer 计算机科学理论 B
CONCUR International Conference on Concurrency Theory Springer 计算机科学理论 B
HSCC International Conference on Hybrid Systems: Computation and Control Springer and ACM 计算机科学理论 B
SAT Theory and Applications of Satisfiability Testing Springer 计算机科学理论 B
CSL Computer Science Logic Springer 计算机科学理论 C
FMCAD Formal Methods in Computer-Aided Design ACM 计算机科学理论 C
FSTTCS Foundations of Software Technology and Theoretical Computer Science Indian Association for Research in Computing Science 计算机科学理论 C
DSAA IEEE International Conference on Data Science and Advanced Analytics IEEE 计算机科学理论 C
ICTAC International Colloquium on Theoretical Aspects of Computing Springer 计算机科学理论 C
IPCO International Conference on Integer Programming and Combinatorial Optimization Springer 计算机科学理论 C
RTA International Conference on Rewriting Techniques and Applications Springer 计算机科学理论 C
ISAAC International Symposium on Algorithms and Computation Springer 计算机科学理论 C
MFCS Mathematical Foundations of Computer Science Springer 计算机科学理论 C
STACS Symposium on Theoretical Aspects of Computer Springer 计算机科学理论 C