计算机会议DISC,【分享】计算机类国际会议

AREA: Programming Languages and Software Engineering

Rank 1:

POPL: ACM-SIGACT Symp on Principles of Prog Langs

PLDI: ACM-SIGPLAN Symp on Prog Lang Design & Impl

OOPSLA: OO Prog Systems, Langs and Applications

ICFP: Intl Conf on Function Programming

JICSLP/ICLP/ILPS: (Joint) Intl Conf/Symp on Logic Prog

ICSE: Intl Conf on Software Engineering

FSE:  ACM Conference on the Foundations of Software Engineering (inc: ESEC-FSE when held jointly)

FM/FME:  Formal Methods, World Congress/Europe

CAV: Computer Aided Verification

Rank 2:

CP: Intl Conf on Principles & Practice of Constraint Prog

TACAS:  Tools and Algos for the Const and An of Systems

ESOP: European Conf on Programming

ICCL: IEEE Intl Conf on Computer Languages

PEPM: Symp on Partial Evalutation and Prog Manipulation

SAS: Static Analysis Symposium

RTA: Rewriting Techniques and Applications

ESEC: European Software Engineering Conf

IWSSD: Intl Workshop on S/W Spec & Design

CAiSE: Intl Conf on Advanced Info System Engineering

ITC: IEEE Intl Test Conf

IWCASE: Intl Workshop on Cumpter-Aided Software Eng

SSR: ACM SIGSOFT Working Conf on Software Reusability

SEKE: Intl Conf on S/E and Knowledge Engineering

ICSR: IEEE Intl Conf on Software Reuse

ASE: Automated Software Engineering Conference

PADL:  Practical Aspects of Declarative Languages

ISRE:  Requirements Engineering

ICECCS: IEEE Intl Conf on Eng. of Complex Computer Systems

IEEE Intl Conf on Formal Engineering Methods

Intl Conf on Integrated Formal Methods

FOSSACS:  Foundations of Software Science and Comp Struct

Rank 3:

FASE: Fund Appr to Soft Eng

APSEC: Asia-Pacific S/E Conf

PAP/PACT: Practical Aspects of PROLOG/Constraint Tech

ALP: Intl Conf on Algebraic and Logic Programming

PLILP: Prog, Lang Implentation & Logic Programming

LOPSTR: Intl Workshop on Logic Prog Synthesis & Transf

ICCC: Intl Conf on Compiler Construction

COMPSAC: Intl. Computer S/W and Applications Conf

CSM: Conf on Software Maintenance

TAPSOFT: Intl Joint Conf on Theory & Pract of S/W Dev

WCRE: SIGSOFT Working Conf on Reverse Engineerin