中国计算机学会CCF推荐国际学术会议和期刊目录-计算机科学理论

1

IANDC

Information and Computation

Elsevier

http://dblp.uni-trier.de/db/journals/iandc/

2

SICOMP

SIAM Journal on Computing

SIAM

http://dblp.uni-trier.de/db/journals/siamcomp/

3

TIT

IEEE Transactions on Information Theory

IEEE

http://dblp.uni-trier.de/db/journals/tit/

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/

1

APAL

Annals of Pure and Applied Logic

Elsevier

http://dblp.uni-trier.de/db/journals/apal/

2

ACTA

Acta Informatica

Springer

http://dblp.uni-trier.de/db/journals/acta/

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

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/

1

STOC

ACM Symposium on Theory of 
Computing

ACM

http://dblp.uni-trier.de/db/conf/stoc/ 

2

FOCS

IEEE Symposium on Foundations of 
Computer Science

IEEE

http://dblp.uni-trier.de/db/conf/focs/

3

LICS

IEEE Symposium on Logic in 
Computer Science

IEEE

http://dblp.uni-trier.de/db/conf/lics/

4

CAV

Computer Aided Verification

Springer

http://dblp.uni-trier.de/db/conf/cav/

1

SoCG

ACM Symposium on Computational
Geometry

ACM

http://dblp.uni-trier.de/db/conf/compgeom/

2

SODA

ACM-SIAM Symposium on Discrete 
Algorithms

SIAM

http://dblp.uni-trier.de/db/conf/soda/

3

CADE/IJCAR

Conference on Automated 
Deduction/The International Joint
Conference on Automated Reasoning

Springer

http://dblp.uni-trier.de/db/conf/cade/

4

CCC

IEEE Conference on Computational
Complexity

IEEE

http://dblp.uni-trier.de/db/conf/coco/

5

ICALP

International Colloquium on 
Automata, Languages and
Programming

Springer

http://dblp.uni-trier.de/db/conf/icalp/

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

ESA

European Symposium on Algorithms

Springer

http://dblp.uni-trier.de/db/conf/esa/

1

CSL

Computer Science Logic

Springer

http://dblp.uni-trier.de/db/conf/csl/

2

FSTTCS

Foundations of Software Technology
and Theoretical Computer
Science

Indian Association for
Research in Computing
Science

http://dblp.uni-trier.de/db/conf/fsttcs/

3

IPCO

International Conference on
Integer Programming and
Combinatorial Optimization

Springer

http://dblp.uni-trier.de/db/conf/ipco/

4

RTA

International Conference on
Rewriting Techniques and
Applications

Springer

http://dblp.uni-trier.de/db/conf/rta/

5

ISAAC

International Symposium on Algorithms
and Computation

Springer

http://dblp.uni-trier.de/db/conf/isaac/

6

MFCS

Mathematical Foundations of
Computer Science

Springer

http://dblp.uni-trier.de/db/conf/mfcs/

7

STACS

Symposium on Theoretical Aspects
of Computer Science

Springer

http://dblp.uni-trier.de/db/conf/stacs/

8

FMCAD

Formal Method in Computer-Aided Design

ACM

http://dblp.uni-trier.de/db/conf/fmcad/

9

SAT

Theory and Applications of Satisfiability Testing

Springer

http://dblp.uni-trier.de/db/conf/sat/

10

ICTAC

International Colloquium on Theoretical
Aspects of Computing

Springer

http://dblp.uni-trier.de/db/conf/ictac/