logo
计算机体系结构/高性能计算/存储系统
计算机网络
网络与信息安全
软件工程/系统软件/程序设计语言
数据库/数据挖掘/内容检索
计算机科学理论
计算机图形学与多媒体
人工智能
人机交互与普适计算
交叉/新兴／综合

中国计算机学会推荐国际学术会议

(计算机科学理论)

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 : 22nd ACM International Conference on Hybrid Systems- Computation and Control

2019

2018-10-17

10

HSCC : International Conference on Hybrid Systems: Computation and Control

2017

2016-10-13

11

ICALP : International Colloquium on Automata, Languages, and Programming

2018

2018-02-16

12

SODA : ACM-SIAM Symposium on Discrete Algorithms

2019

2018-07-12

13

SoCG : ACM Symposium on Computational Geometry

2019

2018-12-05

C类

序号

名称

年份

截稿日期

14

CSL : Computer Science Logic

2017

2017-03-31

15

FMCAD : Formal Methods in Computer-Aided Design

2017

2017-05-08

16

FSTTCS : Foundations of Software Technology and Theoretical Computer Science

2017

2017-07-24

17

ICTAC : International Colloquium on Theoretical Aspects of Computing

2017

2017-04-12

18

IPCO : Conference on Integer Programming and Combinatorial Optimization

2017

2016-11-20

19

ISAAC : International Symposium on Algorithms and Computation

2018

2018-06-29

20

MFCS : International Symposium on Mathematical Foundations of Computer Science

2018

2018-04-24

21

RTA/FSCD : International Conference on Formal Structures for Computation and Deduction

2018

2018-01-15

22

SAT : International Conference on Theory and Applications of Satisfiability Testing

2018

2018-02-07

23

STACS : International Symposium on Theoretical Aspects of Computer Science

2019

2018-10-01

中国计算机学会推荐国际学术刊物

(计算机科学理论)

A类

序号

期刊名

专刊名

截稿日期

暂无刊物有专刊约稿信息

B类

序号

期刊名

专刊名

截稿日期

1

Theoretical Computer Science

TCS-C Special Issue on New Computing Architectures - a Formal Glimpse

2019-07-30

C类

序号

期刊名

专刊名

截稿日期

暂无刊物有专刊约稿信息
*注：没有专刊约稿信息的刊物未列出
s