IFM 2005

Fifth International Conference on Integrated Formal Methods

29 November - 2 December 2005 in Eindhoven, The Netherlands


IFM Home

Programme

Proceedings

Doctoral Symposium

Invited Speakers

Important Dates

Conference Chairs

Program Committee

The Venue

Accommodation Information

Registration

Submission

Contact the Organisers

Sponsors

Pictures

Presentations


Accomodation

In order to book a hotel room, please follow the general registration link. You can book a room during the registration process. If you need any changes in your registration or want to add a hotel reservation, please contact: congressoffice@tue.nl.

The hotels available through this procedure are:

Holiday Inn 4 stars
Veldmaarschalk Montgomerylaan 1, 5612 BA Eindhoven
Rooms: 199. Hotel Chain: Intercontinental. Closest to the university campus.

Crown Inn 3 stars
Markt 35, 5611 EC Eindhoven
Rooms: 62. In the heart of Eindhoven, at the market square.

Hampshire Inn - Eindhoven 3 stars (BOOKINGS Preferred)
Stratumsedijk 23d, 5611 NA Eindhoven
Rooms: 42. Hotel Chain: Hampshire. In the center of Eindhoven, a 10 minute walk from the train station.

If you want to book other accommodation, you can try the Eindhoven Tourist Office (link).


Go to the University of Eindhoven's Home Page Hosted by Computer Science @ Eindhoven This page is maintained by Wieger Wesselink.