Multi-Workshop on Formal Methods in Performance Evaluation and Applications

Index page
General presentation
Complete Program
Tool Demonstrations
Conference Committee


Three hotels have been selected for accommodation during the Conferences. They offer a special tariff to Conference participants, and they reserve a number of rooms until the end of June.

The three of them are located in the historic centre of the city, within 100 m from Plaza del Pilar, less than 5 minutes walking to the bus stop (see map) that drives you to the Conference site (see bus line 23).

They were all recently built or renewed (in the 90's), and they provide fully equipped rooms, including air conditioning and direct telephone. Additional services such as parking, laundry, or cafeteria, are also available.

The three hotels are:

  • Hotel NH Ciudad de Zaragoza (***)
    Av. Cesar Augusto 125
    FAX: 34 976 443361, Tel: 34 976 442100
    (60 rooms reserved)

    Double room, single occup. 9300 pts
    Double room 10400 pts
    Breakfast (buffet) 1100 pts

  • Hotel El Principe (***) - NO VACANCIES (July 6)
    Santiago 12
    FAX: 34 976 299047, Tel: 34 976 294101
    (20 rooms reserved)

    Double room, single occup. 5800 pts
    Double room 7900 pts
    Breakfast (buffet) included

  • Hotel Sauce (**)
    Espoz y Mina 33
    FAX: 34 976 398597, Tel: 34 976 390100
    (20 rooms reserved)

    Single (a few available) 4650 pts
    Double room, single occup. 5300 pts
    Double room 7400 pts
    Breakfast (buffet) 650 pts

To reserve, please contact the hotel of your choice BEFORE JUNE 30, clearly indicating the reference CPS99. (Later reservations are not guaranteed to be accepted.) Reservation should be confirmed by the hotel.

To reach the Conference site (CPS) from the hotels, you can take bus line 23. The most convenient bus stop is the one located at the ancient Roman walls, facing the river (see map). The Conference site bus stop is the last one, but depending on the hour it actually reaches the CPS, or it stops at PRYCA, 5-10 minutes walking to the CPS. Bus fares are 85 pts/travel. A 10-travel ticket will be provided upon registration.
Last modified: July 6, 1999