中国计算机学会推荐的计算机科学理论类国际学术刊物与会议.doc

中国计算机学会推荐国际学术刊物（计算机科学理论）一、 A类序号刊物简称刊物全称出版社网址1.TALGACM Transactions on AlgorithmsACM/2.SICOMPSIAM Journal on ComputingSociety for Industrial and Applied Mathematics/sicomp二、 B类序号刊物简称刊物全称出版社网址1.TOCLACM Transactions on Computational LogicACM/2.Information & ComputationElsevier/locate/ic3.TITIEEE Transactions on Information TheoryIEEE/portal/site/mainsite/menuitem.818c0c39e85ef176fb2275875bac26c8/index.jsp?&pName=corp_level1&path=pubs/transactions&file=tit.xml&xsl=generic.xsl&4.TCSTheoretical Computer ScienceElsevier/locate/tcs5.Formal Aspects of Computing Springer/content/102822/6.Acta InformaticaSpringer/content/100460/7.MSCSMathematical Structures in Computer ScienceCambridge University /action/displayJournal?jid=MSC8.Algorithmica Springer/link.asp?id=1001179.Computational ComplexitySpringer/content/101499/10.Journal of ComplexityBirkhuser Basel11.JSLJournal of Symbolic LogicAssociation for Symbolic Logic/journals-journal.html12.APALAnnuals of Pure and Applied Logic Elsevier/wps/find/journaldescription.cws_home/505603/description#description13.Discrete Applied MathematicsElsevier/wps/find/journaldescription.cws_home/505609/description#description14.JSCJournal of Symbolic ComputationElsevier/wps/find/journaldescription.cws_home/622902/description#descriptionLMCSLogical Methods in Computer Science/index.php三、C类序号刊物简称刊物全称出版社网址1.IJFCSInternational Journal of Foundations of Computer ScienceWorld Scientific/ijfcs/2.Discrete Event Dynamic Systems Theory and ApplicationsSpringer/math/applications/journal/106263.Formal Methods in System DesignSpringer/content/100266/4.HOSCHigher-Order and Symbolic ComputationSpringer/computer/foundations/journal/109905.Archive for Mathematical LogicSpringer/math/journal/153中国计算机学会推荐国际学术会议（计算机科学理论）一、A类序号会议简称会议全称出版社网址1.STOCACM Symposium on Theory of ComputingACM/stoc/2.FOCSIEEE Symposium on Foundations of Computer ScienceIEEE/二、B类序号会议简称会议全称出版社网址1.LICSIEEE Symposium on Logic in Computer ScienceIEEErmatik.hu-berlin.de/lics/2.ICALPInternational Colloquium on Automata, Languages and ProgrammingEuropean Association for Theoretical Computer Science (EATCS)http:/icalp09.cti.gr/index.php/Main/HomePage3.SCGACM Symposium on Computational GeometryACM/4.SODAACM/SIAM Symposium on Discrete AlgorithmsSIAM/meetings/da07/5.SPAAACM Symposium on Parallel Algorithms and ArchitecturesACM/SPAA/6.CCCIEEE Conference on Computational ComplexityIEEE/jrogers/Complexity/7.CSFWIEEE Computer Security Foundations WorkshopIEEE/CSFWweb/8.DATEIEEE/ACM Design, Automation & Test in Europe ConferenceIEEE/ACM/9.ISITIEEE Symposium on Information TheoryIEEE/10.CPInternational Conference on Principles & Practice of Constraint ProgrammingSpringerhttp:/www.cs.mu.oz.au/cp2008/11.TACASTools and Algorithms for the Construction and Analysis of SystemsSpringer/tacas2008/12.RTARewriting Techniques and ApplicationsSpringerhttp:/rewriting.loria.fr/rta/13.TLCATyped Lambda Calculi and ApplicationsSpringerhttp:/www.lsv.ens-cachan.fr/rdp07/tlca.html14.CSLComputer Science LogicSpringerlab.ox.ac.uk/oucl/conferences/CSL05/15.MFPSMathematical Foundations of Programming Semantics Elsevier/mfps/16.TCSIFIP International Conference on Theoretical Computer Science Springer Science and Business Mediahttp:/bioinformatics.bio.disco.unimib.it/tc1/17.STACSInternational Conference on Theoretical Aspects of Computer Science Springerhttp:/www.lif.univ-mrs.fr/STACS06/18.MFCSMathematical Foundations of Computer Science Springerhttp:/www.mfcs.sk/19.FCTInternational Symposium Fundamentals of Computation Theory Springerhttp:/www.conferences.hu/fct2007/20.FSTTCSConference on Foundations of Software Technology and Theoretical Computer ScienceIARCS, the Indian Association for Research in Computing Science/21.ICLPInternational Conference on Logical ProgrammingSpringerhttp:/iclp08.dimi.uniud.it/三、 C类序号会议简称会议全称出版社网址1.CGOInternational Symposium on Code Generation and OptimizationIEEE/ACM/2.PEPMPartial Evaluation and Program ManipulationACM/PEPM083.CSBIEEE Computational Systems Bioinformatics ConferenceIEEE/4.FoSSaCSInternational Conference on Foundations of Software Science and Computation StructuresSpringerhttp:/fossacs08.pps.jussieu.fr/5.iFMintegrated Formal MethodsSpringerhttp:/www.softeng.ox.ac.uk/ifm2007/6.APLASAsian Symposium on Programming Languages and SystemsSpringer/grama/APLAS2008/7.ATVAInternational Symposium on Automated Technology for Verification and AnalysisSpringerhttp:/pswlab.kaist.ac.kr/atva2008/8.TAMCTheory and Applications of Models of ComputationSpringer/tamc2008/page/main.jsp9.FORMATSInternational Conference on Formal Modeling and Analysis of Timed SystemsSpringerhttp:/formats08.inria.fr/10.HSCCInternational Conference on Hybrid Systems: Computation and ControlACM, Springer/11.CIAAInternational Conference on Implementation and Application of AutomataSpringerhttp:/ciaa2008.cs.so