Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Chairman: M. Roggenbach      Vice Chairman: L. Schröder      Past Chairmen: T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski

Meeting in Sierra Nevada, Spain, 14 - 18 January 2008


  1. - By popular demand, we will operate under a "snow schedule", which is likely to be 8:30 to 11:00 and 16:30 to 19:00 (to be adjusted if necessary). In order not to interfere with family duties, we propose to start on Monday 14th at 16:30 and finish on Friday 18th at 11:00.
  2. The meeting will be held at CAR Sierra Nevada (see map, number 6, on the top left of the resort), a residence intended for very high-level athlets that need to do their training at high altitude. Obviously, the residence provides a lot of sporting facilities, and the ski slopes are 20 minutes away by shuttle bus. There is internet connection in the rooms. The travel agency "El Corte Inglés" is taking care of the reservations for the CAR in Sierra Nevada (they are the travel agency for the University of Granada and acted as my interface with the CAR). So please fill the attached form and submit it to Ana Romero either by fax or E-mail. As you will see in the form, the final cost per person per day on half board is 72.76 Euro (VAT included). Please fill and submit the form asap.
  3. Fernando has forwarded the following travel information (still to be refined). See also this link.
    • We can fly directly to Granada. The airport is quite small, so people may not have a direct connection and will have to fly via Madrid or Barcelona. However, several low-cost airlines have direct flights to Granada.
    • Another option is to fly to Malaga, which has a large airport with good connections to many cities in Europe. There is a regular bus connection from Malaga to Granada that takes 1:30 - 2:00 hours and is quite cheap (around 10 euro). First you have to take a taxi or a bus from the airport to the bus station in Malaga (located in the Paseo de los Tilos, look out!: the bus station is not the last stop of the airport bus). There, you will have to take the bus to Granada that will cost you around 10 Euro. There is a bus approximately every hour and the trip will take you 1 1/2 hours (approximately). The last bus is at 22:00. The bus will leave you at the bus station in Granada. For more information and even to buy the tickets, you can access the web page
    • From Granada, a taxi will cost around 60 euro (it's around 35 Km). Otherwise, you can take a bus: you will first need to arrive to Granada bus station (located in the Carretera de Jaen). If you are coming from Malaga the bus will leave you there. You can take a bus from the airport to Granada (the bus station is the first stop) for 3 Euro. You have a bus every hour (approximately) from early morning to 20:30. Actually, in their web page they claim that they have a bus after the arrival of each flight. From Granada to Sierra Nevada, the bus company is Autocares Bonal. During the weekend there are buses at 8:00, 10:00, 15:00 and 17:00 (Monday to Friday there is no bus at 15:00).
    • If you are going by taxi then, to arrive to the CAR, it should be enough to tell the taxi driver that you want to go to the CAR Sierra Nevada. If you are arriving by bus, the bus stop is at the entrance of the resort, F4 in the attached map, while the CAR is in C5. In principle, this is quite a good walk (uphill). However in the resort there is a shuttle bus that will take you to the CAR. The price of the ticket is 1 Euro (6 Euro for a ticket valid for 10 trips).
  4. If you plan to visit the Alhambra (the palace where the Spanish Muslim kings used to live, a really impressive example of Arabic architecture from the middle ages), you need to make a reservation through the Tourism office in Granada.