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

IMPORTANT DATES

Deadlines expire at 23:59 American Samoan time on the dates displayed below

Main conference

  • Abstract submission deadline: Tuesday, March 28, 2017 Thursday, April 20, 2017
  • Full paper submission deadline: Tuesday, April 4, 2017 Thursday, April 27, 2017
  • Notification: Friday, 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
  • PhD Symposium notification: July 7, 2017
  • PhD Symposium: September 19, 2017