中国计算机学会推荐国际学术刊物
（计算机科学理论）
一、A 类
序号
刊物简称
1.
TALG
2.
SICOMP
刊物全称
出版社
网址
ACM Transactions on Algorithms
ACM
http://talg.acm.org/
SIAM Journal on Computing
Society for Industrial and
Applied Mathematics
http://epubs.siam.org/sicomp
二、B 类
序号
刊物简称
1.
TOCL
2.
刊物全称
出版社
网址
ACM Transactions on Computational Logic
ACM
http://tocl.acm.org/
Information & Computation
Elsevier
http://www.elsevier.com/locate/ic
TIT
IEEE Transactions on Information Theory
IEEE
http://www.ieee.org/portal/site/mainsite/menuitem.81
8c0c39e85ef176fb2275875bac26c8/index.jsp?&pNa
me=corp_level1&path=pubs/transactions&file=tit.x
ml&xsl=generic.xsl&
TCS
Theoretical Computer Science
Elsevier
http://www.elsevier.com/locate/tcs
5.
Formal Aspects of Computing
Springer
http://www.springerlink.com/content/102822/
6.
Acta Informatica
Springer
http://www.springerlink.com/content/100460/
Mathematical Structures in Computer Science
Cambridge University
http://journals.cambridge.org/action/displayJournal?j
id=MSC
8.
Algorithmica
Springer
http://www.springerlink.com/link.asp?id=100117
9.
Computational Complexity
Springer
http://www.springerlink.com/content/101499/
10.
Journal of Complexity
Birkhäuser Basel
Journal of Symbolic Logic
Association
Symbolic Logic
Annuals of Pure and Applied Logic
Elsevier
http://www.elsevier.com/wps/find/journaldescription.
cws_home/505603/description#description
Discrete Applied Mathematics
Elsevier
http://www.elsevier.com/wps/find/journaldescription.
cws_home/505609/description#description
Journal of Symbolic Computation
Elsevier
http://www.elsevier.com/wps/find/journaldescription.
3.
4.
7.
MSCS
11.
JSL
12.
APAL
13.
14.
JSC
for
http://www.aslonline.org/journals-journal.html
cws_home/622902/description#description
LMCS
Logical Methods in Computer Science
http://www.lmcs-online.org/index.php
三、C 类
序号
1.
刊物简称
IJFCS
刊物全称
International Journal
Computer Science
of
出版社
Foundations
of
网址
World Scientific
http://www.cs.ucsb.edu/~ijfcs/
2.
Discrete Event Dynamic Systems – Theory and
Applications
Springer
http://www.springer.com/math/applications/journal/1
0626
3.
Formal Methods in System Design
Springer
http://www.springerlink.com/content/100266/
Higher-Order and Symbolic Computation
Springer
http://www.springer.com/computer/foundations/journ
al/10990
Archive for Mathematical Logic
Springer
http://www.springer.com/math/journal/153
4.
5.
HOSC
中国计算机学会推荐国际学术会议
（计算机科学理论）
一、A 类
序号
会议简称
会议全称
出版社
网址
1.
STOC
ACM Symposium on Theory of Computing
ACM
http://sigact.acm.org/stoc/
2.
FOCS
IEEE Symposium on Foundations of Computer
Science
IEEE
http://focs2007.org/
二、B 类
序号
会议简称
1.
LICS
2.
ICALP
3.
SCG
4.
会议全称
出版社
网址
IEEE Symposium on Logic in Computer Science
IEEE
http://www2.informatik.hu-berlin.de/lics/
International Colloquium on Automata, Languages
and Programming
European
Association
for
Theoretical
Computer Science
(EATCS)
http://icalp09.cti.gr/index.php/Main/HomePage
ACM Symposium on Computational Geometry
ACM
http://socg06.cs.arizona.edu/
SODA
ACM/SIAM Symposium on Discrete Algorithms
SIAM
http://www.siam.org/meetings/da07/
5.
SPAA
ACM Symposium on Parallel Algorithms and
Architectures
ACM
http://www.cs.dartmouth.edu/SPAA/
6.
CCC
IEEE Conference on Computational Complexity
IEEE
http://facweb.cs.depaul.edu/jrogers/Complexity/
7.
CSFW
IEEE Computer Security Foundations Workshop
IEEE
http://www.ieee-security.org/CSFWweb/
8.
DATE
IEEE/ACM Design, Automation & Test in Europe IEEE/ACM
Conference
9.
ISIT
10.
CP
11.
TACAS
http://www.date-conference.com/
IEEE Symposium on Information Theory
IEEE
http://www.isit2008.org/
International Conference on Principles & Practice
of Constraint Programming
Springer
http://www.cs.mu.oz.au/cp2008/
Tools and Algorithms for the Construction and Springer
Analysis of Systems
http://www.cs.stonybrook.edu/~tacas2008/
12.
RTA
Rewriting Techniques and Applications
Springer
http://rewriting.loria.fr/rta/
13.
TLCA
Typed Lambda Calculi and Applications
Springer
http://www.lsv.ens-cachan.fr/rdp07/tlca.html
14.
CSL
Computer Science Logic
Springer
http://web2.comlab.ox.ac.uk/oucl/conferences/CSL0
5/
15.
MFPS
Elsevier
http://www.math.tulane.edu/~mfps/
16.
TCS
Springer
Science
and Business Media
http://bioinformatics.bio.disco.unimib.it/tc1/
17.
STACS
International Conference on Theoretical Aspects of Springer
Computer Science
http://www.lif.univ-mrs.fr/STACS06/
18.
MFCS
Mathematical Foundations of Computer Science
Springer
http://www.mfcs.sk/
19.
FCT
Springer
http://www.conferences.hu/fct2007/
20.
FSTTCS
Conference on Foundations of Software
Technology and Theoretical Computer Science
IARCS, the Indian
Association
for
Research
in
Computing Science
http://www.fsttcs.org/
21.
ICLP
International Conference on Logical Programming
Springer
http://iclp08.dimi.uniud.it/
Mathematical
Semantics
Foundations
of
Programming
IFIP International Conference on Theoretical
Computer Science
International Symposium
Computation Theory
Fundamentals
of
三、C 类
序号
会议简称
会议全称
1.
CGO
International Symposium on Code Generation and
Optimization
IEEE/ACM
http://www.cgo.org/
2.
PEPM
Partial Evaluation and Program Manipulation
ACM
http://www.program-transformation.org/PEPM08
3.
CSB
IEEE Computational Systems Bioinformatics
Conference
IEEE
http://csb2008.org/
4.
FoSSaCS
International Conference on Foundations of
Software Science and Computation Structures
Springer
http://fossacs08.pps.jussieu.fr/
5.
iFM
integrated Formal Methods
Springer
http://www.softeng.ox.ac.uk/ifm2007/
6.
APLAS
Asian Symposium on Programming Languages
and Systems
Springer
http://research.microsoft.com/~grama/APLAS2008/
7.
ATVA
International
Symposium
on
Automated
Technology for Verification and Analysis
Springer
http://pswlab.kaist.ac.kr/atva2008/
8.
TAMC
Theory and
Computation
of
Springer
http://ictt.xidian.edu.cn/tamc2008/page/main.jsp
9.
FORMATS
International Conference on Formal Modeling
and Analysis of Timed Systems
Springer
http://formats08.inria.fr/
10.
HSCC
International Conference on Hybrid Systems:
Computation and Control
ACM, Springer
http://www.hscc08.gatech.edu/
11.
CIAA
International Conference on Implementation and
Application of Automata
Springer
http://ciaa2008.cs.sonoma.edu/
12.
SPIN
International SPIN Workshop on Model Checking
Software
Springer
http://compilers.cs.ucla.edu/spin08/
Applications
出版社
of
Models
网址
13.
VMCAI
International Conference on Verification, Model
Checking, and Abstract Interpretation
Springer
http://www.cs.uic.edu/vmcai08/
14.
FMCO
International Symposium on Formal Methods for
Components and Objects
Springer
http://www-sop.inria.fr/oasis/FMCO/fmco08.html
15.
FMOODS
International Conference on Formal Methods for
Open Object-based Distributed Systems
Springer
http://discotec08.ifi.uio.no/FMOODS08/
16.
MEMOCODE
ACM/IEEE International Conference on Formal
Methods and Models for Co-Design
IEEE
http://rijndael.ece.vt.edu/memocontest08/