Fourth International Conference on Integrated Formal Methods
4-7 April 2004 in Canterbury, Kent, England
Important Dates
Submission Deadline: 15 September 2003
Notification of acceptance: 30 November 2003
Submission of final copy: 15 January 2004
Conference: 4-7 April 2004
