international conferences related to software engineering

  • Rank 1
    • ICSE: Intl Conf on Software Engineering (May.)
      • paper submission deadline : Sep.
    • FSE: ACM Conference on the Foundations of Software Engineering (inc: ESEC-FSE when held jointly) (Nov.)
      • paper submission deadline : Mar.
    • FM/FME: Formal Methods, World Congress/Europe (Nov.)
    • CAV: Computer Aided Verification
  • Rank2
    • CAiSE: Intl Conf on Advanced Info System Engineering
    • IWCASE: Intl Workshop on Cumpter-Aided Software Eng
    • SEKE: Intl Conf on S/E and Knowledge Engineering
    • ASE: Automated Software Engineering Conference
    • ICECCS: IEEE Intl Conf on Eng. of Complex Computer Systems
    • IEEE Intl Conf on Formal Engineering Methods
    • Intl Conf on Integrated Formal Methods
  • Rank3
    • FASE: Fund Appr to Soft Eng
    • APSEC: Asia-Pacific S/E Conf
    • 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)