26th IFIP WG 6.1 International Conference on
Formal Methods for Networked and Distributed Systems
Special focus on verified middleware and distributed services
Hotels
Hotels
| LITTLE PALACE HOTEL *** |
|---|
|
4, rue Salomon de Caus 75003 Paris Métro : Réaumur-Sébastopol 2 minute walk from CNAM |
|
Tel : +33 (0)1 42 72 08 15 Fax : +33 (0)1 42 72 45 81 |
| HOTEL ECOLE CENTRALE *** |
|---|
|
3, rue Bailly 75003 Paris Métro : Arts et Métiers 1 minute walk from CNAM |
|
Tel : +33 (0)1 48 04 77 76 Fax : +33 (0)1 42 71 23 50 |
| VILLA BEAUMARCHAIS ***** |
|---|
|
5, rue des Arquebusiers 75003 Paris Métro : Saint Sébastien-Froissart |
|
Tel : +33 (0)1 40 29 14 00 Fax : +33 (0)1 40 29 14 01 |
| HOTEL DE ROUBAIX ** |
|---|
|
6, rue Greneta 75003 Paris Métro : Réaumur-Sébastopol 2 minute walk from CNAM |
|
Tel : +33 (0)1 42 72 89 91 Fax : +33 (0)1 42 72 58 79 |
| HOTEL NOTRE-DAME ** |
|---|
|
51, rue de Malte 75011 Paris Métro : République 5 minute walk from CNAM |
|
Tel : +33 (0)1 47 00 78 76 Fax : +33 (0)1 43 55 32 31 |
| HOTEL DE VIENNE * |
|---|
|
43, rue de Malte 75011 Paris Métro : République 5 minute walk from CNAM |
|
Tel : +33 (0)1 48 05 44 42 Fax : +33 (0)1 48 05 44 26 |