目录中，刊物和会议分为A、B、C三档。A类表示国际上极少数的顶级刊物和会议，鼓励我国学者去突破；B类是指国际上著名和非常重要的会议、刊物，代表该领域的较高水平，鼓励国内同行投稿；C类指国际上重要、为国际学术界所认可的会议和刊物。
序号
|
刊物简称
|
刊物全称
|
出版社
|
网址
|
-
|
TOCL
|
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.818c0c39e85ef176fb2275875bac26c8/index.jsp?&pName=corp_level1&path=pubs/transactions&file=tit.xml&xsl=generic.xsl&
|
-
|
TCS
|
Theoretical Computer Science
|
Elsevier
|
http://www.elsevier.com/locate/tcs
|
-
|
|
Formal Aspects of Computing
|
Springer
|
http://www.springerlink.com/content/102822/
|
-
|
|
Acta Informatica
|
Springer
|
http://www.springerlink.com/content/100460/
|
-
|
MSCS
|
Mathematical Structures in Computer Science
|
Cambridge University
|
http://journals.cambridge.org/action/displayJournal?jid=MSC
|
-
|
|
Algorithmica
|
Springer
|
http://www.springerlink.com/link.asp?id=100117
|
-
|
|
Computational Complexity
|
Springer
|
http://www.springerlink.com/content/101499/
|
-
|
|
Journal of Complexity
|
Birkhäuser Basel
|
|
-
|
JSL
|
Journal of Symbolic Logic
|
Association for Symbolic Logic
|
http://www.aslonline.org/journals-journal.html
|
-
|
APAL
|
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
|
-
|
JSC
|
Journal of Symbolic Computation
|
Elsevier
|
http://www.elsevier.com/wps/find/journaldescription.cws_home/622902/description#description
|
|
LMCS
|
Logical Methods in Computer Science
|
|
http://www.lmcs-online.org/index.php
|
序号
|
刊物简称
|
刊物全称
|
出版社
|
网址
|
-
|
IJFCS
|
International Journal of Foundations of Computer Science
|
World Scientific
|
http://www.cs.ucsb.edu/~ijfcs/
|
-
|
|
Discrete Event Dynamic Systems – Theory and Applications
|
Springer
|
http://www.springer.com/math/applications/journal/10626
|
-
|
|
Formal Methods in System Design
|
Springer
|
http://www.springerlink.com/content/100266/
|
-
|
HOSC
|
Higher-Order and Symbolic Computation
|
Springer
|
http://www.springer.com/computer/foundations/journal/10990
|
-
|
|
Archive for Mathematical Logic
|
Springer
|
http://www.springer.com/math/journal/153
|
序号
|
会议简称
|
会议全称
|
出版社
|
网址
|
-
|
LICS
|
IEEE Symposium on Logic in Computer Science
|
IEEE
|
http://www2.informatik.hu-berlin.de/lics/
|
-
|
ICALP
|
International Colloquium on Automata, Languages and Programming
|
European Association for Theoretical Computer Science (EATCS)
|
http://icalp09.cti.gr/index.php/Main/HomePage
|
-
|
SCG
|
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/
|
-
|
SPAA
|
ACM Symposium on Parallel Algorithms and Architectures
|
ACM
|
http://www.cs.dartmouth.edu/SPAA/
|
-
|
CCC
|
IEEE Conference on Computational Complexity
|
IEEE
|
http://facweb.cs.depaul.edu/jrogers/Complexity/
|
-
|
CSFW
|
IEEE Computer Security Foundations Workshop
|
IEEE
|
http://www.ieee-security.org/CSFWweb/
|
-
|
DATE
|
IEEE/ACM Design, Automation & Test in Europe Conference
|
IEEE/ACM
|
http://www.date-conference.com/
|
-
|
ISIT
|
IEEE Symposium on Information Theory
|
IEEE
|
http://www.isit2008.org/
|
-
|
CP
|
International Conference on Principles & Practice of Constraint Programming
|
Springer
|
http://www.cs.mu.oz.au/cp2008/
|
-
|
TACAS
|
Tools and Algorithms for the Construction and Analysis of Systems
|
Springer
|
http://www.cs.stonybrook.edu/~tacas2008/
|
-
|
RTA
|
Rewriting Techniques and Applications
|
Springer
|
http://rewriting.loria.fr/rta/
|
-
|
TLCA
|
Typed Lambda Calculi and Applications
|
Springer
|
http://www.lsv.ens-cachan.fr/rdp07/tlca.html
|
-
|
CSL
|
Computer Science Logic
|
Springer
|
http://web2.comlab.ox.ac.uk/oucl/conferences/CSL05/
|
-
|
MFPS
|
Mathematical Foundations of Programming Semantics
|
Elsevier
|
http://www.math.tulane.edu/~mfps/
|
-
|
TCS
|
IFIP International Conference on Theoretical Computer Science
|
Springer Science and Business Media
|
http://bioinformatics.bio.disco.unimib.it/tc1/
|
-
|
STACS
|
International Conference on Theoretical Aspects of Computer Science
|
Springer
|
http://www.lif.univ-mrs.fr/STACS06/
|
-
|
MFCS
|
Mathematical Foundations of Computer Science
|
Springer
|
http://www.mfcs.sk/
|
-
|
FCT
|
International Symposium Fundamentals of Computation Theory
|
Springer
|
http://www.conferences.hu/fct2007/
|
-
|
FSTTCS
|
Conference on Foundations of Software Technology and Theoretical Computer Science
|
IARCS, the Indian Association for Research in Computing Science
|
http://www.fsttcs.org/
|
-
|
ICLP
|
International Conference on Logical Programming
|
Springer
|
http://iclp08.dimi.uniud.it/
|
序号
|
会议简称
|
会议全称
|
出版社
|
网址
|
-
|
CGO
|
International Symposium on Code Generation and Optimization
|
IEEE/ACM
|
http://www.cgo.org/
|
-
|
PEPM
|
Partial Evaluation and Program Manipulation
|
ACM
|
http://www.program-transformation.org/PEPM08
|
-
|
CSB
|
IEEE Computational Systems Bioinformatics Conference
|
IEEE
|
http://csb2008.org/
|
-
|
FoSSaCS
|
International Conference on Foundations of Software Science and Computation Structures
|
Springer
|
http://fossacs08.pps.jussieu.fr/
|
-
|
iFM
|
integrated Formal Methods
|
Springer
|
http://www.softeng.ox.ac.uk/ifm2007/
|
-
|
APLAS
|
Asian Symposium on Programming Languages and Systems
|
Springer
|
http://research.microsoft.com/~grama/APLAS2008/
|
-
|
ATVA
|
International Symposium on Automated Technology for Verification and Analysis
|
Springer
|
http://pswlab.kaist.ac.kr/atva2008/
|
-
|
TAMC
|
Theory and Applications of Models of Computation
|
Springer
|
http://ictt.xidian.edu.cn/tamc2008/page/main.jsp
|
-
|
FORMATS
|
International Conference on Formal Modeling and Analysis of Timed Systems
|
Springer
|
http://formats08.inria.fr/
|
-
|
HSCC
|
International Conference on Hybrid Systems: Computation and Control
|
ACM, Springer
|
http://www.hscc08.gatech.edu/
|
-
|
CIAA
|
International Conference on Implementation and Application of Automata
|
Springer
|
http://ciaa2008.cs.sonoma.edu/
|
-
|
SPIN
|
International SPIN Workshop on Model Checking Software
|
Springer
|
http://compilers.cs.ucla.edu/spin08/
|
-
|
VMCAI
|
International Conference on Verification, Model Checking, and Abstract Interpretation
|
Springer
|
http://www.cs.uic.edu/vmcai08/
|
-
|
FMCO
|
International Symposium on Formal Methods for Components and Objects
|
Springer
|
http://www-sop.inria.fr/oasis/FMCO/fmco08.html
|
-
|
FMOODS
|
International Conference on Formal Methods for Open Object-based Distributed Systems
|
Springer
|
http://discotec08.ifi.uio.no/FMOODS08/
|
-
|
MEMOCODE
|
ACM/IEEE International Conference on Formal Methods and Models for Co-Design
|
IEEE
|
http://rijndael.ece.vt.edu/memocontest08/
|
