15th International Conference on integrated Formal Methods
Website : http://ifm2019.hvl.no/cfp/
Location : Bergen, Norway
Conference dates : December 2-6, 2019
Important dates :
Abstract submission: Monday, 1 July 2019
Paper submission: Friday, 5 July 2019
Notification: Monday, 16 September 2019
Camera-ready: Tuesday, 1 October 2019
Deadlines expire at 23:59 anywhere on earth on the dates displayed above.