Tid: 14:00 - 19:00
WELCOME TO SEFM 2019!
The 17th edition of the International Conference on Software Engineering and Formal Methods will be held in Oslo Science Park, Norway on September 16 – 20, 2019.
SEFM aims to bring together leading researchers and practitioners 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 within practical software engineering methods and tools.
Abstract Submission: May 3, 2019
Paper Submission: May 10, 2019
Notification: June 25, 2019
Camera Ready: July 12, 2019
Registration (early): TBD
Please find information at the conference webpage