Confrences on 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 Engineering
       AQSDT: Symp on Assessment of Quality S/W Dev Tools
       IFIP Intl Conf on Open Distributed Processing
       Intl Conf of Z Users
       IFIP Joint Int'l Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification
       PSI (Ershov conference)
       UML: International Conference on the Unified Modeling Language

  Un-ranked:
       Australian Software Engineering Conference
       IEEE Int. W'shop on Object-oriented Real-time Dependable Sys. (WORDS)
       IEEE International Symposium on High Assurance Systems Engineering
       The Northern Formal Methods Workshops
       Formal Methods Pacific
       Int. Workshop on Formal Methods for Industrial Critical Systems
       JFPLC - International French Speaking Conference on Logic and Constraint Programming
       L&L - Workshop on Logic and Learning
       SFP - Scottish Functional Programming Workshop
       HASKELL - Haskell Workshop
       LCCS - International Workshop on Logic and Complexity in Computer Science
       VLFM - Visual Languages and Formal Methods
       NASA LaRC Formal Methods Workshop
       (1) FATES - A Satellite workshop on Formal Approaches to Testing of Software
       (1) Workshop On Java For High-Performance Computing
       (1) DSLSE - Domain-Specific Languages for Software Engineering
       (1) FTJP - Workshop on Formal Techniques for Java Programs
       (*) WFLP - International Workshop on Functional and (Constraint) Logic Programming
       (*) FOOL - International Workshop on Foundations of Object-Oriented Languages
       (*) SREIS - Symposium on Requirements Engineering for Information Security
       (*) HLPP - International workshop on High-level parallel programming and applications
       (*) INAP - International Conference on Applications of Prolog
       (*) MPOOL - Workshop on Multiparadigm Programming with OO Languages
       (*) PADO - Symposium on Programs as Data Objects
       (*) TOOLS: Int'l Conf Technology of Object-Oriented Languages and Systems
       (*) Australasian Conference on Parallel And Real-Time Systems