会议检索
| 缩写 | 会议名称 | 排名 |
|---|---|---|
| STOC | ACM Symposium on the Theory of Computing | CCF: A CORE: A* THCPL: A |
| SODA | ACM-SIAM Symposium on Discrete Algorithms | CCF: A CORE: A* THCPL: A |
| FOCS | IEEE Symposium on Foundations of Computer Science | CCF: A CORE: A* THCPL: A |
| LICS | IEEE Symposium on Logic in Computer Science | CCF: A CORE: A* THCPL: A |
| CAV | International Conference on Computer-Aided Verification | CCF: A CORE: A* THCPL: A |
| ICALP | EATCS International Colloquium on Automata, Languages, and Programming | CCF: B CORE: A THCPL: |
| SOCG | International Symposium on Computational Geometry | CCF: B CORE: A THCPL: |
| SETTA | Symposium on Dependable Software Engineering: Theories, Tools and Applications | CCF: C CORE: N THCPL: N |