主页
最近更新
CCF推荐列表
关于我们
CCF推荐列表
计算机体系结构/高性能计算/存储系统
计算机网络
网络与信息安全
软件工程/系统软件/程序设计语言
数据库/数据挖掘/内容检索
计算机科学理论
计算机图形学与多媒体
人工智能
人机交互与普适计算
交叉/新兴／综合
中国计算机学会推荐国际学术会议
(计算机科学理论)
A类
序号
名称
年份
截稿日期
1
CAV : International Conference on Computer Aided Verification
2018
2018-01-31
2
FOCS : IEEE Symposium on Foundations of Computer Science
2017
2017-04-06
3
LICS : Annual ACM/IEEE Symposium on Logic in Computer Science
2018
2018-01-29
4
STOC : ACM Symposium on Theory of Computing
2018
2017-11-03
B类
序号
名称
年份
截稿日期
5
CADE/IJCAR : Conference on Automated Deduction/The International Joint Conference on Automated Reasoning
2018
2018-01-29
6
CCC : IEEE Conference on Computational Complexity
2018
2018-01-24
7
CONCUR : International Conference on Concurrency Theory
2018
2018-04-23
8
ESA : European Symposium on Algorithms
2018
2018-04-22
9
HSCC : International Conference on Hybrid Systems: Computation and Control
2017
2016-10-13
10
ICALP : International Colloquium on Automata, Languages, and Programming
2018
2018-02-16
11
SODA : ACM-SIAM Symposium on Discrete Algorithms
2019
2018-07-12
12
SoCG : ACM Symposium on Computational Geometry
2018
2017-12-11
C类
序号
名称
年份
截稿日期
13
CSL : Computer Science Logic
2017
2017-03-31
14
FMCAD : Formal Methods in Computer-Aided Design
2017
2017-05-08
15
FSTTCS : Foundations of Software Technology and Theoretical Computer Science
2017
2017-07-24
16
ICTAC : International Colloquium on Theoretical Aspects of Computing
2017
2017-04-12
17
IPCO : Conference on Integer Programming and Combinatorial Optimization
2017
2016-11-20
18
ISAAC : International Symposium on Algorithms and Computation
2018
2018-06-29
19
MFCS : International Symposium on Mathematical Foundations of Computer Science
2018
2018-04-24
20
RTA/FSCD : International Conference on Formal Structures for Computation and Deduction
2018
2018-01-15
21
SAT : International Conference on Theory and Applications of Satisfiability Testing
2018
2018-02-07
22
STACS : International Symposium on Theoretical Aspects of Computer Science
2019
2018-10-01
中国计算机学会推荐国际学术刊物
(计算机科学理论)
A类
序号
期刊名
专刊名
截稿日期
暂无刊物有专刊约稿信息
B类
序号
期刊名
专刊名
截稿日期
1
Theoretical Computer Science
Selected Papers from the 2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2018) a special issue in Theoretical Computer Science – C. Natural Computing
2018-09-30
2
Theoretical Computer Science
Special Issue on Implicit Computational Complexity (open post-conference publication of the workshops DICE 2016, 2017 and 2018)
2018-10-12
C类
序号
期刊名
专刊名
截稿日期
暂无刊物有专刊约稿信息
*注：没有专刊约稿信息的刊物未列出
s
