7th International Workshop on
Formal Methods for Industrial Critical Systems
FMICS 2002
Malaga, 12-13 July 2002

Warning: Please, make your reservation for hotels and travel as soon as possible. Remember that July is high season in Malaga. This page includes pre-booked hotels for FMICS02, including Halls of Residence.
 

This year, FMICS is held in Malaga, at the Computer Science School, University of Malaga, colocated with ICALP2002

The conference will take place at the Computer Science School. Lunches will also be served at the School. Buses from and to the hotels (early morning and late afternoon) will be available.

The Computer Science School is located at Teatinos Campus (about 6 km. from Malaga downtown)

The Computer Science and Telecommunications Schools share the same building at the Campus. The whole building is known as "Complejo Tecnológico", and is located in the west corner of the Campus, in front of the Clinical Hospital.

The bus lines to Teatinos Campus are number 8,20 (from and to downtown) and 22 (from and to Avenida de Velázquez)- Please see bus map.

*... from downtown. Follow Alameda Principal that becomes Avenida de Andalucia. Then you will get to the highway. Follow indications to "Campanillas", and take second exit left, following indications to "Universidad" and "Hospital Clinico". Please see map.
*... from the west. If you are coming from the west coast (N-340), take the exit to N-331 and follow the indications below.
*... from the north. If you are coming from the north (N-331) just before entering to Malaga follow the indications to Algeciras. Then take the second exit right (indications to "Cartama", "Parque Tecnológico" and "Universidad"), Then take the second exit right (indications "Universidad" and "Hospital Clínico"). Please see map.
*... from the west (airport). Take N-340 and follow the indications to Malaga downtown. Then, take "Ronda Oeste", direction North. Take the exit "Cártama, Universidad, Parque Tecnológico". Take the second exit right, following indications to "University and Hospital Clinico". Please see map.

Follow Avenida Herrera Oria until you reach Teatinos Campus. Do not take the route recommended for cars, as it uses highways which do not have proper bike lines.

We do not recommend walking to the campus from the center of the city. The distance is 6 km and the access is difficult.

Taxis are not very expensive in Málaga, so they are a good option to move around. A taxi from downtown to the campus costs around 6 euros and takes about 15 minutes (depending on the traffic, of course).

   Here you can find a city map of Málaga (in html), and links to Málaga,Torremolinos and Marbella city maps (in pdf)

Local Transportation Maps

   The virtual office of tourism in Malaga offers transport related information within the services menu.

Local Road Map (429 KB)

Bus Map (454 KB)

RailRoad Map (Spain)

This map shows the main spanish cities and railroads

There are different hotels in Malaga where you can stay during the conference. We have made a selection and if you want, you can book the hotel through  the ICALP 2002 registration form. Hotels have different prices and categories. There will be buses in the morning and in the evening from hotels to the conference site and come back. Here are some hints to choose.

Buses are scheduled from the hotels in Malaga to the conference site. Please notice that there is no scheduled bus to hotels in Torremolinos, or to the Halls of Residence. If you choose one of these you have to get to the conference site by your own. Torremolinos, is at the sea side, 14 km. to the west of Malaga, and there is no good public transportation to the conference site. You may consider to take taxis or rent a car in this case.
From University Residence to the conference site it takes about 25-30 minutes walking. It is located far from the city center.
Hotels "Los Naranjos" and "Las Vegas" are not located in the city center, but you can take a bus to the center or go walking (30 minutes). They are located near the beach.

All other hotels are located in the city center, or less than 10 minutes walking to the city center. There are public transportation from the city center to the University campus, every 10 minutes it takes aproximately 30 minutes. (bus number 20, see bus maps)
 

• Accomodation facilities, from ICALP2002

• You can also use the pre-booking facilities for the FMICS2002:

Other WEB pages with useful informations about hotels at Malaga:

• Hotels in Malaga

A good link provided by the city council about hotels in Malaga. Click on the upper right corner of each hotel record to get the location map. The list is not complete.

RENFE (Spanish railways)
   There is a good conection by train with other cities like Madrid (4 hours), Cordoba (2 hours) y Sevilla (2 hours). Connections with other cities are
   not so good. Barcelona (13 hours), Bilbao (12-14 hours) but there are night trains with bedrooms.
IBERIA (Spanish airline)
   There are several direct flights with mayor spanish cities: Madrid (10/day), Barcelona (5/day),Valencia, Bilbao, Canarias, Melilla, etc. There are
   also direct flight dayly or weekly to major european cities París, Londres, Zurich, Copenhague, Luxemburgo, Bruselas, Milán. y and regular flights to
   other cities like New York (1/week)
MALAGA AIRPORT
   Here you can find information about all flights arriving at/departing from Malaga, tough this information is not up to date
   GETTING TO MALAGA FROM THE AIRPORT
   To reach Malaga from the airport, the more convenient options are: *... by bus. Buses leave from and to the airport every hour. *... by train. The
   train station is a short walk from the airport. Trains leave every half an hour and leave you downtown (last stop). You can also use the train to go to
   Torremolinos, Benalmadena and Fuengirola. *... by taxi. The taxi fare to Málaga is around 12 euros.
BUSES BETWEEN CITIES
   The communication by bus with nearby cities is good: Granada (1.45 hours) Almeria (3 hours), Cordoba (2 hours), Cádiz (3.30 hours), Seville (2
   hours). There are also buses to Madrid (5 hours), Valencia (7 hours) and Barcelona (10 hours). See Map.
ROADS AND HIGHWAYS
   There are highways to Granada (125 km.), Seville (220 km.) and Madrid (550 km.). For other cities, some sections of the road are highways while
   some others are national roads. This is the case of Almeria (250 km.), Cadiz (250 km.) and Cordoba (180 km)
BOATS
   There are regular services to Melilla, Ceuta and Tanger. Malaga harbour is also a frequent stop of pleasure cruises
MONTEMAR Rent-a-car
   This is a local company for car renting. Prices are better that other agencies. You can make a car booking in advance and they will bring it to you to the airport. Consider renting a car if your hotel is in Torremolinos. Buses for the conference do not connect with those hotels.

• Weather in Malaga

• Malaga Tourism Information

   This page has information provided by Malaga city council. Accomodation, transportation, gastronomy, shopping, consulates, climate, nature, etc.
 
• Malaga TownHall

   Here you can find information about Malaga city, a city map, population data, tourist information, cultural events, emergency phone numbers, etc.
 
• Malaga View

   Panoramic view of Malaga (270 KB)
 
• Andalusia official Tourism Information