Welcome to SEFM 2019!

The 17th edition of the International Conference on Software Engineering and Formal Methods will be held in Oslo, Norway on September 16 – 20, 2019.

The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods.

Important Dates

  • Abstract Submission: May 3, 2019
  • Paper Submission: May 10, 2019
  • Notification: June 21, 2019
  • Camera Ready: July 12, 2019
  • Registration (early): TBD

Comments are closed.