ConferenceRankings日期(NUS).doc

郑金亮前8页，石燕后9页 ?????? European Conference on Parallel Processing ?????? RODLICS: Wses International Conference on Robotics, Distance Learning Intelligent Communication Systems ?????? International Conference On Multimedia, Internet Video Technologies ?????? PaCT: Parallel Computing Technologies workshop(September)2013/2/18 ?????? PPAM: International Conference on Parallel Processing and Applied Mathematics(September) ?????? International Conference On Information Networks, Systems And Technologies ?????? DSN: The International Conference on Dependable Systems and Networks ?????? GTVMT: International Workshop on Graph Transformation and Visual Modeling Techniques ? 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 Conf on the Foundations of Software Engineering (inc: ESEC-FSE) ?????? 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 ?????? CAiSE: Intl Conf on Advanced Info System Engineering ?????? 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 ??????