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