欢迎订阅本专栏：《CCF会议期刊推荐》
专栏介绍： 中国计算机学会（CCF）2019年发布了推荐的国际学术会议、期刊目录，共有：计算机体系结构/并行与分布计算/存储系统、计算机网络、网络与信息安全、软件工程/系统软件/程序设计语言、数据库/数据挖掘/内容检索、计算机科学理论、计算机图形学与多媒体 、人工智能、人机交互与普适计算、交叉/综合/新兴等10个分类。
本专栏收集、整理了2019年版（后续会更新2023年版）CCF推荐的国际学术会议期刊列表，欢迎 人工智能、信息安全、计算机、软件工程等相关专业 的小伙们 一键三连（收藏❤️、点赞👍、评论⭐） ，欢迎大家👉👉👉【订阅专栏】👈👈👈
CCF推荐国际学术会议、期刊列表：
CCF全称是China Computer Federation，中文意为：中国计算机学会，前身是中国电子学会计算机专业委员会，成立于1962年。CCF每年会发布一系列高水平期刊目录，从而指导科研工作者选择投稿期刊。值得注意的是，CCF推荐的期刊并非全部是SCI索引收录期刊，因此在投稿的过程中还需要仔细甄别。并且CCF推荐的期刊也并非都拥有很高的分区和影响因子。因此，在投稿的时候还需要自己仔细甄别选择。然而，CCF推荐期刊纵使没有较高的分区和影响因子，其学术水平也一定是较高的。
导读：
CCF全称是China Computer Federation，中文意为：中国计算机学会，前身是中国电子学会计算机专业委员会，成立于1962年。CCF每年会发布一系列高水平期刊目录，从而指导科研工作者选择投稿期刊。值得注意的是，CCF推荐的期刊并非全部是SCI索引收录期刊，因此在投稿的过程中还需要仔细甄别。并且CCF推荐的期刊也并非都拥有很高的分区和影响因子。因此，在投稿的时候还需要自己仔细甄别选择。然而，CCF推荐期刊纵使没有较高的分区和影响因子，其学术水平也一定是较高的。
中国计算机学会推荐国际学术期刊
(计算机科学理论)
一、A类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|
| 1 | TIT | IEEE Transactions on Information Theory | IEEE | http://dblp.uni-trier.de/db/journals/tit/ |
| 2 | IANDC | Information and Computation | Elsevier | http://dblp.uni-trier.de/db/journals/iandc/ |
| 3 | SICOMP | SIAM Journal on Computing | SIAM | http://dblp.uni-trier.de/db/journals/siamcomp/ |
二、B类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|
| 1 | TALG | ACM Transactions on Algorithms | ACM | http://dblp.uni-trier.de/db/journals/talg/ |
| 2 | TOCL | ACM Transactions on Computational Logic | ACM | http://dblp.uni-trier.de/db/journals/tocl/ |
| 3 | TOMS | ACM Transactions on Mathematical Software | ACM | http://dblp.uni-trier.de/db/journals/toms/ |
| 4 | Algorithmica | Algorithmica | Springer | http://dblp.uni-trier.de/db/journals/algorithmica/ |
| 5 | CC | Computational Complexity | Springer | http://dblp.uni-trier.de/db/journals/cc/ |
| 6 | FAC | Formal Aspects of Computing | Springer | http://dblp.uni-trier.de/db/journals/fac/ |
| 7 | FMSD | Formal Methods in System Design | Springer | http://dblp.uni-trier.de/db/journals/fmsd/ |
| 8 | INFORMS | INFORMS Journal on Computing | INFORMS | http://dblp.uni-trier.de/db/journals/informs/ |
| 9 | JCSS | Journal of Computer and System Sciences | Elsevier | http://dblp.uni-trier.de/db/journals/jcss/ |
| 10 | JGO | Journal of Global Optimization | Springer | http://dblp.uni-trier.de/db/journals/jgo/ |
| 11 | JSC | Journal of Symbolic Computation | Elsevier | http://dblp.uni-trier.de/db/journals/jsc/ |
| 12 | MSCS | Mathematical Structures in Computer Science | Cambridge University Press | http://dblp.uni-trier.de/db/journals/mscs/ |
| 13 | TCS | Theoretical Computer Science | Elsevier | http://dblp.uni-trier.de/db/journals/tcs/ |
三、C类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|
| 1 | ACTA | Acta Informatica | Springer | http://dblp.uni-trier.de/db/journals/acta/ |
| 2 | APAL | Annals of Pure and Applied Logic | Elsevier | http://dblp.uni-trier.de/db/journals/apal/ |
| 3 | DAM | Discrete Applied Mathematics | Elsevier | http://dblp.uni-trier.de/db/journals/dam/ |
| 4 | FUIN | Fundamenta Informaticae | IOS Press | http://dblp.uni-trier.de/db/journals/fuin/ |
| 5 | LISP | Higher-Order and Symbolic Computation | Springer | http://dblp.uni-trier.de/db/journals/lisp/ |
| 6 | IPL | Information Processing Letters | Elsevier | http://dblp.uni-trier.de/db/journals/ipl/ |
| 7 | JCOMPLEXITY | Journal of Complexity | Elsevier | http://dblp.uni-trier.de/db/journals/jc/ |
| 8 | LOGCOM | Journal of Logic and Computation | Oxford University Press | http://dblp.uni-trier.de/db/journals/logcom/ |
| 9 | JSL | Journal of Symbolic Logic | Association for Symbolic Logic | http://dblp.uni-trier.de/db/journals/jsyml/ |
| 10 | LMCS | Logical Methods in Computer Science | LMCS | http://dblp.uni-trier.de/db/journals/lmcs/ |
| 11 | SIDMA | SIAM Journal on Discrete Mathematics | SIAM | http://dblp.uni-trier.de/db/journals/siamdm/ |
| 12 | | Theory of Computing Systems | Springer | http://dblp.uni-trier.de/db/journals/mst/ |
中国计算机学会推荐国际学术会议
(计算机科学理论)
一、A类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|
| 1 | STOC | ACM Symposium on the Theory of Computing | ACM | http://dblp.uni-trier.de/db/conf/stoc/ |
| 2 | SODA | ACM-SIAM Symposium on Discrete Algorithms | SIAM | http://dblp.uni-trier.de/db/conf/soda/ |
| 3 | CAV | Computer Aided Verification | Springer | http://dblp.uni-trier.de/db/conf/cav/ |
| 4 | FOCS | IEEE Annual Symposium on Foundations of Computer Science | IEEE | http://dblp.uni-trier.de/db/conf/focs/ |
| 5 | LICS | IEEE Symposium on Logic in Computer Science | IEEE | http://dblp.uni-trier.de/db/conf/lics/ |
二、B类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|
| 1 | SoCG | ACM Symposium on Computational Geometry | ACM | http://dblp.uni-trier.de/db/conf/compgeom/ |
| 2 | ESA | European Symposium on Algorithms | Springer | http://dblp.uni-trier.de/db/conf/esa/ |
| 3 | CCC | IEEE Conference on Computational Complexity | IEEE | http://dblp.uni-trier.de/db/conf/coco/ |
| 4 | ICALP | International Colloquium on Automata, Languages and Programming | Springer | http://dblp.uni-trier.de/db/conf/icalp/ |
| 5 | CADE/IJCAR | International Conference on Automated Deduction/International Joint Conference on Automated Reasoning | Springer | http://dblp.uni-trier.de/db/conf/cade/ |
| 6 | CONCUR | International Conference on Concurrency Theory | Springer | http://dblp.uni-trier.de/db/conf/concur/ |
| 7 | HSCC | International Conference on Hybrid Systems: Computation and Control | Springer and ACM | http://dblp.uni-trier.de/db/conf/hybrid/ |
| 8 | SAT | Theory and Applications of Satisfiability Testing | Springer | http://dblp.uni-trier.de/db/conf/sat/ |
三、C类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|
| 1 | CSL | Computer Science Logic | Springer | http://dblp.uni-trier.de/db/conf/csl/ |
| 2 | FMCAD | Formal Methods in Computer-Aided Design | ACM | http://dblp.uni-trier.de/db/conf/fmcad/ |
| 3 | FSTTCS | Foundations of Software Technology and Theoretical Computer Science | Indian Association for Research in Computing Science | http://dblp.uni-trier.de/db/conf/fsttcs/ |
| 4 | DSAA | IEEE International Conference on Data Science and Advanced Analytics | IEEE | https://dblp.uni-trier.de/db/conf/dsaa/ |
| 5 | ICTAC | International Colloquium on Theoretical Aspects of Computing | Springer | http://dblp.uni-trier.de/db/conf/ictac/ |
| 6 | IPCO | International Conference on Integer Programming and Combinatorial Optimization | Springer | http://dblp.uni-trier.de/db/conf/ipco/ |
| 7 | RTA | International Conference on Rewriting Techniques and Applications | Springer | http://dblp.uni-trier.de/db/conf/rta/ |
| 8 | ISAAC | International Symposium on Algorithms and Computation | Springer | http://dblp.uni-trier.de/db/conf/isaac/ |
| 9 | MFCS | Mathematical Foundations of Computer Science | Springer | http://dblp.uni-trier.de/db/conf/mfcs/ |
| 10 | STACS | Symposium on Theoretical Aspects of Computer Science | Springer | http://dblp.uni-trier.de/db/conf/stacs/ |
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
