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


Registration

The conference registration facility has been removed.


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