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