IFM 2005

Fifth International Conference on Integrated Formal Methods

29 November - 2 December 2005 in Eindhoven, The Netherlands

IFM Home



Doctoral Symposium

Invited Speakers

Important Dates

Conference Chairs

Program Committee

The Venue

Accommodation Information



Contact the Organisers




The Venue


The Auditorium IFM2005 is hosted by the Technische Universiteit Eindhoven (TU/e). Eindhoven is the largest city of the southern Netherlands and the fifth largest in the Netherlands as a whole. It is a diverse city offering innovation and technology, as well as cultural activities (museums, theatre and music), and leading in sports such as swimming (Olympic champion Pieter van den Hoogenband) and soccer (PSV). In the region of Eindhoven, well-known companies such as Philips, ASML and DAF, and dozens of other engineering companies are situated. Click on these links to find out more on Eindhoven and the TU/e.

All activity regarding the conference takes place in the auditorium building. It is best take the entrance marked "Congres Ingang", this is the left-most entrance at the south side of the building. Inside the auditorium building there will be sign posts.
The University of Eindhoven Eindhoven and the TU/e campus are easily reachable by plane (Eindhoven Airport) and train (also from Schiphol Airport). Maps of the campus and directions how to travel can be found at

Here is a map of the city center (Flash). On this map, number 5 indicates the University Campus, number 8 is the railway station, and number 11 is the Van Abbe Museum where we have our excursion and dinner on Wednesday afternoon. Maps for the hotels can be found via the 'Acommodation' page. The Dutch Railway web site has a journey planner (in English).

Excursion, Dinner Banquet

We will visit the Van Abbe Museum, which is one of the most important museums for contemporary art in Europe. Changing exhibitions are being made on a regular base. A great deal of space is destined for the famous museum collection. The collection contains modern classic works by artists such as Picasso, Chagall and Mondrian, the second largest collection of the Russian artist El Lissitzky outside of Russia, but most of all many contemporary art works by artists such as Lily van der Stokker, De Rijke & De Rooij and all works from the exhibition No Ghost Just a Shell (around the Manga figure AnnLee).

Currently, a large part of the museum is dedicated to the exhibition EindhovenIstanbul. In this exhibition, a selection of key artworks is presented drawn from the famous Istanbul Biennial exhibitions of the past 18 years. The exhibits from 40 international artists include large scale installations, video projections, sculpture, painting and drawing.

See the museum web site:

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