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


The Venue


The fourth international conference on Integrating Formal Methods will be held at the University of Kent at Canterbury. The County of Kent is situated in the South-East of England, and the University sits on a hill over-looking the City of Canterbury and its world-renowned Cathedral. More information about Canterbury can be found at

Accommodation for delegates will be provided on campus. Other options for accommodation in Canterbury and the surrounding area are available.

Travelling to Canterbury

Canterbury is within easy reach of London, as well as the international airports at Gatwick and Heathrow, and the international train station at Ashford.

More information on how to travel to Canterbury is available.

Leeds Castle

Listed in the Domesday Book, this castle has been a Norman stronghold, a royal residence for six of Englandís medieval queens, a palace of Henry VIII, and a retreat for the powerful and influential.

More information on

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