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

(● 计算机科学理论)

A类

• 序号
  刊物名称
  刊物全称
  出版社
  地址
• 1
  TIT
  IEEE Transactions on Information Theory
  IEEE
  http://dblp.uni-trier.de/db/journals/tit/
• 2
  IANDC
  Information and Computation
  Elsevier
  http://dblp.uni-trier.de/db/journals/iandc/
• 3
  SICOMP
  SIAM Journal on Computing
  SIAM
  http://dblp.uni-trier.de/db/journals/siamcomp/

B类

• 序号
  刊物名称
  刊物全称
  出版社
  地址
• 1
  TALG
  ACM Transactions on Algorithms
  ACM
  http://dblp.uni-trier.de/db/journals/talg/
• 2
  TOCL
  ACM Transactions on Computational Logic
  ACM
  http://dblp.uni-trier.de/db/journals/tocl/
• 3
  TOMS
  ACM Transactions on Mathematical Software
  ACM
  http://dblp.uni-trier.de/db/journals/toms/
• 4
  Algorithmica
  Algorithmica
  Springer
  http://dblp.uni-trier.de/db/journals/algorithmica/
• 5
  CC
  Computational complexity
  Springer
  http://dblp.uni-trier.de/db/journals/cc/
• 6
  FAC
  Formal Aspects of Computing
  Springer
  http://dblp.uni-trier.de/db/journals/fac/
• 7
  FMSD
  Formal Methods in System Design
  Springer
  http://dblp.uni-trier.de/db/journals/fmsd/
• 8
  INFORMS
  INFORMS Journal on Computing
  INFORMS
  http://dblp.uni-trier.de/db/journals/informs/
• 9
  JCSS
  Journal of Computer and System Sciences
  Elsevier
  http://dblp.uni-trier.de/db/journals/jcss/
• 10
  JGO
  Journal of Global Optimization
  Springer
  http://dblp.uni-trier.de/db/journals/jgo/
• 11
  JSC
  Journal of Symbolic Computation
  Elsevier
  http://dblp.uni-trier.de/db/journals/jsc/
• 12
  MSCS
  Mathematical Structures in Computer Science
  Cambridge University Press
  http://dblp.uni-trier.de/db/journals/mscs/
• 13
  TCS
  Theoretical Computer Science
  Elsevier
  http://dblp.uni-trier.de/db/journals/tcs/

C类

• 序号
  刊物名称
  刊物全称
  出版社
  地址
• 1
  ACTA
  Acta Informatica
  Springer
  http://dblp.uni-trier.de/db/journals/acta/
• 2
  APAL
  Annals of Pure and Applied Logic
  Elsevier
  http://dblp.uni-trier.de/db/journals/apal/
• 3
  DAM
  Discrete Applied Mathematics
  Elsevier
  http://dblp.uni-trier.de/db/journals/dam/
• 4
  FUIN
  Fundamenta Informaticae
  IOS Press
  http://dblp.uni-trier.de/db/journals/fuin/
• 5
  LISP
  Higher-Order and Symbolic Computation
  Springer
  http://dblp.uni-trier.de/db/journals/lisp/
• 6
  IPL
  Information Processing Letters
  Elsevier
  http://dblp.uni-trier.de/db/journals/ipl/
• 7
  JCOMPLEXITY
  Journal of Complexity
  Elsevier
  http://dblp.uni-trier.de/db/journals/jc/
• 8
  LOGCOM
  Journal of Logic and Computation
  Oxford University Press
  http://dblp.uni-trier.de/db/journals/logcom/                                     
• 9
  JSL
  Journal of Symbolic Logic
  Association for Symbolic Logic
  http://dblp.uni-trier.de/db/journals/jsyml/
• 10
  LMCS
  Logical Methods in Computer Science
  LMCS
  http://dblp.uni-trier.de/db/journals/lmcs/
• 11
  SIDMA
  SIAM Journal on Discrete Mathematics
  SIAM
  http://dblp.uni-trier.de/db/journals/siamdm/
• 12
   
  Theory of Computing Systems
  Springer
  http://dblp.uni-trier.de/db/journals/mst/

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

(● 计算机科学理论)

A类

• 序号
  刊物名称
  刊物全称
  出版社
  地址
• 1
  STOC
  ACM Symposium on Theory of Computing
  ACM
  http://dblp.uni-trier.de/db/conf/stoc/ 
• 2
  SODA
  ACM-SIAM Symposium on Discrete Algorithms
  SIAM
  http://dblp.uni-trier.de/db/conf/soda/
• 3
  CAV
  Computer Aided Verification
  Springer
  http://dblp.uni-trier.de/db/conf/cav/
• 4
  FOCS
  IEEE Annual Symposium on Foundations of Computer Science
  IEEE
  http://dblp.uni-trier.de/db/conf/focs/
• 5
  LICS
  IEEE Symposium on Logic in Computer Science
  IEEE
  http://dblp.uni-trier.de/db/conf/lics/

B类

• 序号
  刊物名称
  刊物全称
  出版社
  地址
• 1
  SoCG
  ACM Symposium on Computational Geometry
  ACM
  http://dblp.uni-trier.de/db/conf/compgeom/
• 2
  ESA
  European Symposium on Algorithms
  Springer
  http://dblp.uni-trier.de/db/conf/esa/
• 3
  CCC
  IEEE Conference on Computational Complexity
  IEEE
  http://dblp.uni-trier.de/db/conf/coco/
• 4
  ICALP
  International Colloquium on Automata, Languages and Programming
  Springer
  http://dblp.uni-trier.de/db/conf/icalp/
• 5
  CADE/IJCAR
  International Conference on Automated Deduction/International Joint Conference on Automated Reasoning
  Springer
  http://dblp.uni-trier.de/db/conf/cade/
• 6
  CONCUR
  International Conference on Concurrency Theory
  Springer
  http://dblp.uni-trier.de/db/conf/concur/
• 7
  HSCC
  International Conference on Hybrid Systems: Computation and Control
  Springer and ACM
  http://dblp.uni-trier.de/db/conf/hybrid/
• 8
  SAT
  Theory and Applications of Satisfiability Testing
  Springer
  http://dblp.uni-trier.de/db/conf/sat/

C类

• 序号
  刊物名称
  刊物全称
  出版社
  地址
• 1
  CSL
  Computer Science Logic
  Springer
  http://dblp.uni-trier.de/db/conf/csl/
• 2
  FMCAD
  Formal Method in Computer-Aided Design
  ACM
  http://dblp.uni-trier.de/db/conf/fmcad/
• 3
  FSTTCS
  Foundations of Software Technology and Theoretical Computer Science
  Indian Association for Research in Computing Science
  http://dblp.uni-trier.de/db/conf/fsttcs/
• 4
  DSAA
  IEEE International Conference on Data Science and Advanced Analytics
  ​IEEE
  https://dblp.uni-trier.de/db/conf/dsaa/
• 5
  ICTAC
  International Colloquium on Theoretical Aspects of Computing
  Springer
  http://dblp.uni-trier.de/db/conf/ictac/
• 6
  IPCO
  International Conference on Integer Programming and Combinatorial Optimization
  Springer
  http://dblp.uni-trier.de/db/conf/ipco/
• 7
  RTA
  International Conference on Rewriting Techniques and Applications
  Springer
  http://dblp.uni-trier.de/db/conf/rta/
• 8
  ISAAC
  International Symposium on Algorithms and Computation
  Springer
  http://dblp.uni-trier.de/db/conf/isaac/
• 9
  MFCS
  Mathematical Foundations of Computer Science
  Springer
  http://dblp.uni-trier.de/db/conf/mfcs/
• 10
  STACS
  Symposium on Theoretical Aspects of Computer Science
  Springer
  http://dblp.uni-trier.de/db/conf/stacs/