Fifth International Conference on Integrated Formal Methods
29 November - 2 December 2005 in Eindhoven, The Netherlands
Important Dates
Submission Deadline: May 18, 2005
Notification of acceptance: July 13, 2005
Submission of final copy: August 17, 2005
Conference: November 29 - December 2, 2005
