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

IMPORTANT DATES

Main conference

  • Abstract submission deadline: Tuesday, March 28, 2017
  • Full paper submission deadline: Tuesday, April 4, 2017
  • Notification: Friday, May 26, 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