Welcome to 13th International Conference on integrated Formal Methods (iFM 2017)

IMPORTANT DATES

Early registation deadline: Monday, July 24, 2017

Main conference

  • Abstract submission deadline: March 28, 2017 Thursday, April 20, 2017 (expired)
  • Full paper submission deadline: April 4, 2017 Thursday, April 27, 2017 (expired)
  • Notification: May 26, 2017 Friday, June 2, 2017
  • Conference: September 20-22, 2017

Workshops

  • Submission of workshop proposals: Monday, 19 December, 2016 (expired)
  • Workshops: September 18-19, 2017

PhD Symposium

  • PhD Symposium paper submission deadline: June 2, 2017 Thursday, June 15, 2017 (expired)
  • PhD Symposium notification: Friday, July 7, 2017
  • PhD Symposium: Tuesday, September 19, 2017