中国计算机学会推荐国际学术会议
 (软件工程、系统软件与程序设计语言)
一、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