11-理论计算机科学-CCF-A-B-C
理论计算机科学、算法、逻辑、复杂性与程序验证方向的 CCF 推荐会议与期刊。
来源：CCF 官方分类页 链接。
说明：主页/入口 列优先保留稳定的官方或权威系列入口；如果某些会议官网按年份频繁变化，这里沿用 CCF 分类页给出的稳定地址。
A类列表
期刊
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| IANDC | Information and Computation | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| SICOMP | SIAM Journal on Computing | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
会议
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| SODA | ACM-SIAM Symposium on Discrete Algorithms | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| CAV | International Conference on Computer Aided Verification | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| FOCS | IEEE Annual Symposium on Foundations of Computer Science | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| LICS | ACM/IEEE Symposium on Logic in Computer Science | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
B类列表
期刊
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| TOCL | ACM Transactions on Computational Logic | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| TOMS | ACM Transactions on Mathematical Software | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| Algorithmica | Algorithmica | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| CC | Computational complexity | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| FAC | Formal Aspects of Computing | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| FMSD | Formal Methods in System Design | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| INFORMS | INFORMS Journal on Computing | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| JCSS | Journal of Computer and System Sciences | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| JGO | Journal of Global Optimization | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| JSC | Journal of Symbolic Computation | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| MSCS | Mathematical Structures in Computer Science | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| TCS | Theoretical Computer Science | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
会议
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| ESA | European Symposium on Algorithms | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| CCC | Conference on Computational Complexity | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| ICALP | International Colloquium on Automata, Languages and Programming | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| - | International Conference on Automated Deduction/International Joint Conference on Automated Reasoning | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| CONCUR | International Conference on Concurrency Theory | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| HSCC | International Conference on Hybrid Systems: Computation and Control | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| SAT | International Conference on Theory and Applications of Satisfiability Testing | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| COCOON | International Computing and Combinatorics Conference | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
C类列表
期刊
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| APAL | Annals of Pure and Applied Logic | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| DAM | Discrete Applied Mathematics | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| FUIN | Fundamenta Informaticae | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| IPL | Information Processing Letters | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| JCOMPLEXITY | Journal of Complexity | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| LOGCOM | Journal of Logic and Computation | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| JSL | The Journal of Symbolic Logic | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| LMCS | Logical Methods in Computer Science | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| SIDMA | SIAM Journal on Discrete Mathematics | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
| - | Theory of Computing Systems | 期刊 | 理论计算机科学、算法、逻辑或验证方向的重要国际期刊。 | 主页/入口 |
会议
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| FMCAD | Formal Method in Computer-Aided Design | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| FSTTCS | Foundations of Software Technology and Theoretical Computer Science | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| DSAA | IEEE International Conference on Data Science and Advanced Analytics | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| ICTAC | International Colloquium on Theoretical Aspects of Computing | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| IPCO | International Conference on Integer Programming and Combinatorial Optimization | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| RTA | International Conference on Rewriting Techniques and Applications | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| ISAAC | International Symposium on Algorithms and Computation | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| MFCS | International Conference on Mathematical Foundations of Computer Science | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| STACS | Symposium on Theoretical Aspects of Computer Science | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |
| SETTA | International Symposium on Dependable Software Engineering: Theories, Tools, and Applications | 会议 | 理论计算机科学、算法、逻辑或验证方向的重要国际会议。 | 主页/入口 |