7th International Workshop on
Formal Methods for Industrial Critical Systems
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
COMPUTER SCIENCE SCHOOL
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.
MAP OF SITUATION IN THE CITY (Map)
The Computer Science School is located at Teatinos Campus (about 6
km. from Malaga downtown)
MAP OF SITUATION IN THE CAMPUS (Map)
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
GETTING TO THE CAMPUS BY BUS (Map)
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
GETTING TO THE CAMPUS BY CAR (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.
GETTING TO THE CAMPUS BY BIKE
*... 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.
GETTING TO THE CAMPUS WALKING
We do not recommend walking to the campus from the center of the city.
The distance is 6 km and the access is difficult.
GETTING TO THE CAMPUS BY TAXI
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
Local Transportation Maps
The virtual office of tourism in Malaga offers transport
related information within the services menu.
Map (429 KB)
Map (454 KB)
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
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)
You can also use the pre-booking facilities for the FMICS2002:
|Hotel NH Malaga(****)
fax: +34 952 11 51 16
|Room: ~ 140 €
105 € (weekend)
|Hotel Malaga Centro(****)
fax: +34 952 28 33 60
||Till May, 31
| Hotel Los Naranjos (***)
fax: +34 952 22 59 75
|Hotel Las Vegas (***)
||fax: +34 952 22 48 89
|Hotel Tryp Alameda(****)
fax: +34 952 36 81 28
|Room: 108,25 €
(taxes (7%) not included)
|Till June, 1
|Hotel Don Curro(***)
||fax: +34 952 21 59 46
||July, 11th: 61,20 €
July, 12th: 60 €
(taxes (7%) not included)
|Till June, 25
Halls of Residence
fax: +34 952326660
|35 Euros (Apartament for two persons)
||Contact with local organization
if you want to share the apartment
Other WEB pages with useful informations about hotels at 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
IBERIA (Spanish airline)
not so good. Barcelona (13 hours), Bilbao (12-14 hours)
but there are night trains with bedrooms.
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)
Here you can find information about all flights arriving
at/departing from Malaga, tough this information is not up to date
BUSES BETWEEN CITIES
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.
The communication by bus with nearby cities is good: Granada
(1.45 hours) Almeria (3 hours), Cordoba (2 hours), Cádiz (3.30 hours),
hours). There are also buses to Madrid (5 hours), Valencia
(7 hours) and Barcelona (10 hours). See Map.
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)
There are regular services to Melilla, Ceuta and Tanger.
Malaga harbour is also a frequent stop of pleasure cruises
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.
Malaga Tourism Information
This page has information provided by Malaga city council.
Accomodation, transportation, gastronomy, shopping, consulates, climate,
Here you can find information about Malaga city, a city
map, population data, tourist information, cultural events, emergency phone
Panoramic view of Malaga (270 KB)
Andalusia official Tourism Information