Registration site and guide for all FMweek events and meetings, including FMICS 2009, is now open. Participants can make their registration and hotel reservation for their stay in Eindhoven, all in one process. Early registration must be done before September 14, 2009. Normal registration must be done between September 14 and October 19, 2009.


FMICS 2009 is part of the first Formal Methods Week (FMweek), which will bring together a choice of events in the area including:

  • TESTCOM/FATES (Conference on Testing of Communicating Systems/Workshop on Formal Approaches to Testing of Software)
  • CPA (Communicating Process Architectures)
  • PDMC (Parallel and Distributed Methods of verifiCation)
  • FM2009 (Symposium of Formal Methods Europe)
  • FACS (Formal Aspects of Component Software)
  • FAST (Formal Aspects in Security and Trust)
  • FMCO (Formal Methods for Components and Objects)
  • REFINE (Workshop)

These will be scheduled as follows:



If you want to book a hotel for your stay in Eindhoven, the FMweek registration system allows you to make a reservation. A selection of hotels is offered at reduced rates through the Congress Bureau (see table below). The hotel costs are not part of your registration, you will have to pay the hotel yourself upon check-out. All hotels offered are in the centre of Eindhoven. They are all close to the FMICS 2009 venue (between 0.8 and 1.3 kilometres), with the Sandton Hotel a little bit further away (2.2 kilometers). The listed prices include breakfast, but not the tourist tax of 3.50 euros per person per night.

Sandton Hotel Eindhoven City Centre Stratumsedijk 23 d/f 5611 MA Eindhoven
single room 89.00 euros
double room 99.00 euros
Queen Markt 7 5611 EB Eindhoven
single room 95.00 euros
double room 115.00 euros
Crown Inn Markt 35 5611 EC Eindhoven
single room 101.50 euros
double room 114.00 euros
Eden Crown Hotel Vestdijk 14-16 5611 CC Eindhoven
single room 128.00 euros
double room 148.00 euros
Holiday Inn Veldmaarschalk Montgomerylaan 1 5612 BA Eindhoven
single room 156.00 euros
double room 176.00 euros

All these hotels plus a few more are located on the following map. FMICS 2009 venue is indicated by a green arrow. Some cheap, between cheap and expensive, and expensive restaurants are also situated on the map as well as the train station.

View FMICS 2009 in a larger map

Social Dinner

FMICS 2009 social dinner will take place at the Boekencafé Restaurant Schrijvers (Book Writers Cafe Restaurant), Dommelstraat 24, 5611 CL Eindhoven, The Netherlands, on Monday 2nd November at 19:30.

"Walls filled with bookcases full of novels, poems, short stories, and reference books, provide the atmosphere for Book Writers Cafe Restaurant, established for over 8 years at the restaurant street in the center of Eindhoven. Besides lunch and dinner the Book Cafe is open daily for delicious Italian coffee, prepared by our professional baristas. Enjoy our 30 beers, a good glass of wine or one of the many malt whiskeys. The menu of Book Writers Cafe is internationally oriented and offers a wide variety of meat, fish and vegetarian dishes. The chief cook works only with fresh ingredients with a preference for local products.", Boekencafé Restaurant Schrijvers website, 2009.

FMICS 2009 social dinner menu: FMICS 2009's social dinner (PDF)
Sponsored by:
Supported by:
Published by:
Springer LNCS