Fourth International Conference on Integrated Formal Methods

4-7 April 2004 in Canterbury, Kent, England

The Venue

Location

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 http://www.canterbury.co.uk/cgi-bin/buildpage.pl?mysql=296.

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 http://www.leeds-castle.com.