Technische Universiteit Eindhoven was founded in the 1950s on a patch of uncultivated land near the centre of town. Due to this fortunate circumstance, the university campus is now right in the middle of the fifth largest city in the Netherlands. This means that the railway station, the conference hotels, and other facilities are all within walking distance of the campus, and that during your stay you will have easy access to everything Eindhoven has to offer.
The venue for Formal Methods Week is the Auditorium of the Technische Universiteit Eindhoven. All events of FMWeek will take place here, along with coffee breaks, lunches, receptions, and other social activities.