Registration

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.

Schedule

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:

Hotels

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.

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: