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