6th International Workshop on
Formal Methods for Industrial Critical Systems
FMICS 2001
Paris, 16-17 July 2001

Local Organization
Workshop site Transportation Maps Hotels Social event Travel Miscellaneous Registration

This year, FMICS is held in Paris, at LIAFA laboratory, just before CAV'2001.

Workshop site

Paris, the capital of France, is a city of over two millions people covering 460 square miles of northern France. It is on the River Seine at the center of the Ile-de-France, the region that is home to ten millions people, around one-fifth of the French population. An important European cultural and business center, it is the focus of activity in the north of France.

LIAFA is a young laboratory, which has the ambition to become one of the major international centers in algorithmics, their foundations and their applications. The goal of the laboratory is to develop strong theoretical research as well as to study real applications in collaboration with industrial partners, mainly in the domain of Telecommunication. The laboratory collaborates currently with industrial partners like Bouygues Telecom and Nortel Matra Cellular.

LIAFA is located in the south east of Paris, between the François Mitterand library and the Pitié-Salpêtrière Hospital, at 20 mn of walk and 15 mn of underground from the so-called "Quartier Latin" (where are located CAV'01 and SAS'01). The Chinese town is at 10 mn of walk.

Transportation

The exact address of LIAFA is 175 rue du Chevaleret, at the corner of rue Clisson. It's a 9-floors building covered with brown tilings (see photo). The site is easily reached by:

Subway line 6, station Chevaleret. You take the exit on the left, and then cross the boulevard (Vincent Auriol) to take rue du Chevaleret, perpendicular to the subway line. The building is at the end of the block on the right.
Subway line 14 or RER line C, station is Bibliothèque François Mitterrand, where you take rue du Chevaleret by passing under a bridge (5 mn of walk).
Bus 27 stops not far, at the corner of rue Jeanne d'Arc and rue Clisson.

Maps

Métro and the whole public transport network of RATP.
Maps of Paris.

Hotels

If you also attend CAV'01, please look at their hotel selection. The following hotels are next to the Chevaleret site, near Place d'Italie.

Hotel Name Address Prices Pre-booking

Hotel Manet (**) 15, rue Edouard Manet, 75013 PARIS, web
Phone: + 33 1 45 86 35 99 around 300-400FF -

Hotel Neptune (**) 15 rue Godefroy, 75013 Paris, web
Phone: + 33 1 42 16 87 92
Fax: + 33 1 42 16 90 07 around 300-400FF -

Hotel Place des Alpes (**) 2 place des Alpes - 75013 Paris, web
Phone: + 33 1 42 16 92 93 around 200-300 FF -

Hotel Coypel (**) 2 rue Coypel, 75013 Paris
Phone: + 33 1 43 31 18 08 around 200-300 FF -

Hotel Le Brun (**) 33 rue le Brun, 75013 Paris
Phone: + 33 1 47 07 97 02 around 200-300 FF -

Hotel Verlaine (**) 51 rue Bobillot - 75013 Paris
Phone: + 33 1 45 89 56 14 around 200-300 FF -

Hotel du Brésil (**) 10 rue Le Goff - 75005 Paris
Phone: + 33 1 43 54 76 11 around 300-400FF -

Hotel Ibis (**) 177 rue de Tolbiac - 75013 Paris
Phone: + 33 1 45 80 16 60
Fax: 01 45 80 95 80
email: H0923@accor-hotels.com 43 54 76 11 around 400-450FF 10 rooms until 15 May

HOTEL SOPHIE GERMAIN (***) 12, rue Sophie Germain - 75014 PARIS
Phone: + 33 1 43 21 43 75
Fax: + 33 1 43 20 82 891 around 450FF (with breakfast) 10 rooms until 30 May

HOTEL Holyday Inn (***) 21, rue Tolbiac - 75013 PARIS
Phone: + 33 1 45 84 61 61
Fax: + 33 1 45 84 43 38 - -

HOTEL Holyday Inn (***) 178, bd Vincent Auriol - 75013 PARIS
Phone: + 33 1 44 24 01 01
Fax: + 33 1 44 24 07 07 - -

Hotel Name	Address	Prices	Pre-booking
Hotel Manet (**)	15, rue Edouard Manet, 75013 PARIS, web Phone: + 33 1 45 86 35 99	around 300-400FF	-
Hotel Neptune (**)	15 rue Godefroy, 75013 Paris, web Phone: + 33 1 42 16 87 92 Fax: + 33 1 42 16 90 07	around 300-400FF	-
Hotel Place des Alpes (**)	2 place des Alpes - 75013 Paris, web Phone: + 33 1 42 16 92 93	around 200-300 FF	-
Hotel Coypel (**)	2 rue Coypel, 75013 Paris Phone: + 33 1 43 31 18 08	around 200-300 FF	-
Hotel Le Brun (**)	33 rue le Brun, 75013 Paris Phone: + 33 1 47 07 97 02	around 200-300 FF	-
Hotel Verlaine (**)	51 rue Bobillot - 75013 Paris Phone: + 33 1 45 89 56 14	around 200-300 FF	-
Hotel du Brésil (**)	10 rue Le Goff - 75005 Paris Phone: + 33 1 43 54 76 11	around 300-400FF	-
Hotel Ibis (**)	177 rue de Tolbiac - 75013 Paris Phone: + 33 1 45 80 16 60 Fax: 01 45 80 95 80 email: H0923@accor-hotels.com 43 54 76 11	around 400-450FF	10 rooms until 15 May
HOTEL SOPHIE GERMAIN (***)	12, rue Sophie Germain - 75014 PARIS Phone: + 33 1 43 21 43 75 Fax: + 33 1 43 20 82 891	around 450FF (with breakfast)	10 rooms until 30 May
HOTEL Holyday Inn (***)	21, rue Tolbiac - 75013 PARIS Phone: + 33 1 45 84 61 61 Fax: + 33 1 45 84 43 38	-	-
HOTEL Holyday Inn (***)	178, bd Vincent Auriol - 75013 PARIS Phone: + 33 1 44 24 01 01 Fax: + 33 1 44 24 07 07	-	-

Other WEB pages with useful informations about hotels at Paris:

The CAV'01 Hotel selection,
The SAS'01 Hotel selection,
another hotel selection with a lot of high-quality hotels,
paris.hotelguide.net,
pics.parishotels.com.

Social event

The social event of the workshop will take place the 16th July at the Tour Eiffel.

Travel

Airports: Paris has two airports, Roissy-Charles de Gaulle, 30 km North of Paris and Orly, 20 km south of Paris.
- The RER B directly goes every 15 mn from Roissy, terminals 1 & 2 to the ``Luxembourg'' (or ``Port Royal'') station in about 35 mn for 46 FRF (first class is 68 FRF). From Orly, terminals west & south, ``the Orly VAL'' goes to the ``Antony'' station in 8 mn from which the RER B is direct to the ``Luxembourg'' (``or Port Royal'') station in about 25 mn. The total cost is 54 FRF;
- The RATP ``Roissy Bus'' goes every 15 mn from Roissy 1 & 2 to ``Opéra'' in 45 to 60 mn for 48 FRF (next use the RATP RER C to ``Chatelet'' and then RER B to ``Luxembourg'' or ``Port Royal'' or a taxi).
- The RATP ``Orly Bus'' goes every 10 to 15 mn from Orly West & South to ``Denfert Rochereau'' in about 30 mn for 35 FRF. ``Denfert Rochereau'' is then one RER B station from ``Luxembourg'' and two from ``Port Royal'';
- A taxi from Roissy to central Paris is about 250-300 FRF; from Orly, 200-250 FRF;
- More information on transportation between Paris and international airports.
Trains: SNCF ("Société Nationale des Chemins de Fer" / french state railway), information by telephone in english: +33 (0)1 36 35 35 39, german: +33 (0)1 36 35 35 36, italian: +33 (0)1 36 35 35 38 & spanish: +33 (0)1 36 35 35 37.

Miscellaneous

Weather: Weather forecast (in French) and the meteorological image of the day. In July, the weather is warm ( > 18°C). Short rains are unlikely but possible.
Currency: The currency in France is the franc (FRF). The euro (EUR), which is exactly 6.55957 FRF, will be the official currency in France on January 1st, 2002. See today's exchange rates.

Registration

To benefit from early registration rates, please register before June 15th, 2001.

Please make your hotel reservation as soon as possible.

Before June 15th, 2001, the registration fees are of 80 EUROS (530 French Francs).
After June 15th, 2001, the registration fees are of 100 EUROS (656 French Francs).

The registration fees include 2 lunches, the conference dinner, 4 coffee-breaks and the proceedings.
Make sure that the bank and change costs are at your charge.
On site registrations are cash in EUROS ou FRF.

To register, please download, print, complete, and send by fax the corresponding registration form.

6th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2001 Paris, 16-17 July 2001