CCF推荐排名

中国计算机学会推荐国际学术会议
　(软件工程、系统软件与程序设计语言）

一、A类

序号	会议简称	会议全称	出版社	日期	网址
1	FSE/ESEC	ACM SIGSOFT Symposium on the Foundation of Software Engineering/ European Software Engineering Conference	ACM		http://esec-fse.inf.ethz.ch/
2	OOPSLA	Conference on Object-Oriented Programming Systems, Languages, and Applications	ACM		http://splashcon.org/2013/cfp/618
3	ICSE	International Conference on Software Engineering	ACM/IEEE		http://www.icse-conferences.org/
4	OSDI	USENIX Symposium on Operating Systems Design and Implementations	USENIX		http://www.usenix.org/event/osdi12
5	PLDI	ACM SIGPLAN Symposium on Programming Language Design & Implementation	ACM		http://pldi2013.ucombinator.org/
6	POPL	ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	ACM		http://www.cse.psu.edu/popl/12
7	SOSP	ACM Symposium on Operating Systems Principles	ACM		http://sosp.org/

二、B类

序号	会议简称	会议全称	出版社	日期	网址
1	ECOOP	European Conference on Object-Oriented Programming	AITO		http://ecoop.org/
2	ETAPS	European Joint Conferences on Theory and Practice of Software	Springer		http://www.etaps.org/
3	FM	Formal Methods, World Congress	FME		http://www.fmeurope.org/
4	ICPC	IEEE International Conference on Program Comprehension	IEEE		http://icpc12.sosy-lab.org/
5	RE	IEEE International Requirement Engineering Conference	IEEE		http://www.cin.ufpe.br/~re2013/
6	CAiSE	International Conference on Advanced Information Systems Engineering	Springer		http://www.pros.upv.es/index.php/en/home-caise2013
7	ASE	International Conference on Automated Software Engineering	IEEE/ACM		http://ase2013.org/
8	ICFP	International Conf on Function Programming	ACM		http://icfpconference.org/icfp2013/
9	LCTES	International Conference on Languages, Compilers, Tools and Theory for Embedded Systems	ACM		http://www.dcs.gla.ac.uk/conferences/lctes13/
10	MoDELS	International Conference on Model Driven Engineering Languages and Systems	ACM, IEEE		http://www.modelsconference.org/
11	CP	International Conference on Principles and Practice of Constraint Programming	Springer		http://cp2013.a4cp.org/
12	ICSOC	International Conference on Service Oriented Computing	Springer		http://www.icsoc.org/
13	ICSM	International. Conference on Software Maintenance	IEEE		http://icsm2013.tue.nl/
14	VMCAI	International Conference on Verification, Model Checking, and Abstract Interpretation	Springer		http://lara.epfl.ch/vmcai2012/
15	ICWS	International Conference on Web Services （Research Track）	IEEE		http://conferences.computer.org/icws/2013/
16	SAS	International Static Analysis Symposium	Springer		http://research.microsoft.com/en-us/events/sas2013/
17	ISSRE	International Symposium on Software Reliability Engineering	IEEE		http://2012.issre.net/content/ieee-issre-2012-dallas-tx
18	ISSTA	International Symposium on Software Testing and Analysis	ACM SIGSOFT		http://issta2013.inf.usi.ch/
19	Middleware	Conference on middleware	ACM/IFIP/ USENIX		http://www.middleware-conference.org/
20	WCRE	Working Conference on Reverse Engineering	IEEE		http://wcre.wikidot.com/2013
21	HotOS	USENIX Workshop on Hot Topics in Operating Systems	USENIX		https://www.usenix.org/conference/hotos13/

三、C类

序号	会议简称	会议全称	出版社	日期	网址
1	PASTE	ACMSIGPLAN-SIGSOFTWorkshoponProgram AnalysisforSoftwareToolsandEngineering	ACM		http://dept.cs.williams.edu/PASTE2013/cfp.html
2	APLAS	Asian Symposium on Programming Languages and Systems	Springer		http://aplas12.kuis.kyoto-u.ac.jp/
3	APSEC	Asia-Pacific Software Engineering Conference	IEEE		http://apsec2012.comp.polyu.edu.hk/
4	COMPSAC	International Computer Software and Applications Conference	IEEE		http://compsac.cs.iastate.edu/
5	ICECCS	IEEE International Conference on Engineering of Complex Computer Systems	IEEE		http://www.iceccs.org/
6	SCAM	IEEE International Working Conference on Source Code Analysis and Manipulation	IEEE		http://www.ieee-scam.org/
7	ICFEM	International Conference on Formal Engineering Methods	Springer		https://www.cs.auckland.ac.nz/research/conferences /icfem2013/
8	TOOLS	International Conference on Objects, Models, Components, Patterns	Springer		http://tools.ethz.ch/
9	PEPM	ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Programming Manipulation	ACM		http://www.program-transformation.org/PEPM13
10	QSIC	International Conference on Quality Software	IEEE		http://www.di.univaq.it/qsic2012/
11	SEKE	International Conference on Software Engineering and Knowledge Engineering	KSI		http://www.ksi.edu/seke/seke13.html
12	ICSR	International Conference on Software Reuse	Springer		http://www.icsrc.org/
13	ICWE	International Conference on Web Engineering	Springer		http://icwe2012.webengineering.org
14	SPIN	International SPIN Workshop on Model Checking of Software	Springer		http://spin2013.cs.sunysb.edu/
15	LOPSTR	International Symposium on Logic-based Program Synthesis and Transformation	Springer		http://www.cs.man.ac.uk/~kung-kiu/lopstr/
16	TASE	International Symposium on Theoretical Aspects of Software Engineering	IEEE		http://selab.bjut.edu.cn/tase2012/
17	ICST	The IEEE International Conference on Software Testing, Verification and Validation	IEEE		http://icst.org/
18	ATVA	International Symposium on Automated Technology for Verification and Analysis			http://www.iarcs.org.in/atva2012/
19	ESEM	International Symposium on Empirical Software Engineering and Measurement	ACM/IEEE		http://esem-conferences.org/index.php
20	ISPASS	IEEE International Symposium on Performance Analysis of Systems and Software	IEEE		http://ispass.org/
21	SCC	International Conference on Service Computing	IEEE		http://conferences.computer.org/scc/2013/
22	ICSSP	International Conference on Software and System Process	ISPA		http://www.icsp-conferences.org/index.html