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