Fourth International Conference on Integrated Formal Methods

4-7 April 2004 in Canterbury, Kent, England



Doctoral Symposium

Invited Speakers

Important Dates

Conference Chairs

Program Committee

The Venue

Accommodation Information



Contact the Organisers


Accommodation Information

Accommodation for those in single rooms is in Eliot College, and for those in en-suite rooms is in Keynes College. Rooms will be available from 2pm on the day of registration, and check-out time is 10am on the day of departure.

On arrival go to Reception at the college where you are staying.

All meals (including breakfasts) will be in Eliot College, regardless of which type of room you are booked in.

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