Fourth International Conference on Integrated Formal Methods

4-7 April 2004 in Canterbury, Kent, England


Programme

Proceedings

Doctoral Symposium

Invited Speakers

Important Dates

Conference Chairs

Program Committee

The Venue

Accommodation Information

Registration

Submission

Contact the Organisers

Pictures


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


Go to the University of Kent's Home Page Hosted by Computer Science @ Kent This page is maintained by Marcel Oliveira.