GandALF 2014

Fifth International Symposium on Games, Automata, Logics and Formal Verification - Verona, Italy

Venue

In this page you can find information about:

 

Location of the conferenceMap of Verona with the Dept. of Computer Science

GandALF 2014 will be held at the Dept. of Computer Science of the University of Verona, Italy.

The Dept. is located in the quarter named Borgo Roma, situated in the southern part of the city (click on the image beside to enlarge it).

Reaching the Conference

The Department of Computer Science is located about 5 km outside the city center, in Strada Le Grazie 15. Notice that the path from the city center to the Department undergoes through a very industrial area and a big boulevard, so it is not recommended to take it on foot.

To reach the Location of the Conference, you can take bus: 21, 22, 62, 72.

Consider that, if you are in a Hotel in the city center, you have to reach the train station and then take one of the suggested buses to reach the Department (on average, the trip from the station to the Department takes no more than 20 minutes).

In the following links you can find useful information:

 

About Verona

Verona landscapeThe present Verona derive from the roman city founded in the 1st century B.C. inside the bend of the river Adige. The roman origin of the city is testified by its architecture, urban planning, and by many historical buildings. However, Verona offers also many interesting places date back to Middle Ages. Due to the historical interest of its buildings, Verona was named in 2000 a UNESCO World Heritage Site.

Verona is one of the main tourist destinations in north-eastern Italy. It has at least two main emblems: the Arena and the William Shakespeare’s story of Romeo and Juliet.

The ArenaThe Arena is an ancient roman amphitheatre built in AD 30. It is the 3rd roman amphitheatre in Italy with respect to the size. During summer, inside the Arena the famous festival of opera and many concerts are given.

Verona is also the location chosen by William Shakespeare for his story about the love between Romeo and Juliet. In the city, you can visit some places related to this story. The main and famous one is the Juliet’s house.

Giusti's gardenHowever, the city and its province offer many other interesting activities and places to tourists: at least ten churches (e.g., St. Zeno abbey), ten museums (e.g., Verona’s Natural History Museum contains one of the most valuable collections of fossils and archaeological remains of Europe), amazing natural sites (e.g., Lake Garda, Giusti garden, Adige’s park, Colombare’s park, Regional Natural Park of Lessinia), famous wines San Vigilio on Garda Lake(Amarone, Valpolicella, Soave, Bardolino, Custoza and Lugana), typical food (e.g., risotto, horse meat, our typical aperitif: spritz with Aperol), night life (for example, visit Piazza delle Erbe in Saturday night).

We suggest you to visit Castel San Pietro, Lamberti Tower, and Ponte Pietra in order to enjoy amazing landscapes of Verona.

You can find other information about Verona, its tourist attractions and itineraries visiting the following WEB sites:

You can get the tourist map of Verona, realized thank to the contribution of the Province of Verona, in Verona Tourist Information Office (IAT), at Verona Train Station and in Bra Square, right in front of the Arena.

 

Reaching Verona

Verona is located in the northeastern Italy. Following the West-East direction it is about halfway along the motorway A4 between Milan and Venice. In the North-South direction, it is along the motorway A22 between Brenner and Modena.

The main railway station of Verona is named “Porta Nuova”. The Verona airport is located at about 10km in the near town of “Villafranca” and it is named “Valerio Catullo”.

In order to reach Verona by train, note that you can purchase a Trenitalia’s trip only if it is within 2 months from the purchasing time.

Here you can find a map marked with places of interest cited below.

You can visit WEB sites of airports to obtain more information.

From Milan-Malpensa airport

Malpensa airport is situated about 50km in the northwestern of Milan. It is about 200km from Verona. From Malpensa you can get to Verona by train, bus or car (for detailed information please visit the Malpensa Directions page).

train iconBy train

You have at least two choices in order to reach Verona by train from Malpensa.

The first one is to reach the train station of Gallarate and then take a train as far as Verona.

A bus service is available from the Terminal 1 and Terminal 2 of Malpensa to Gallarate railway station. The journey last about 20-25 minutes. Buses depart about every 30 minutes from 5.40AM to 20.00PM.

Gallarate is joined to Verona by Trenitalia trains. You can search and purchase yuor trip here.

Otherwise, you can take a bus from Terminal 1 – exit 6 – stop 3 to Milano-Stazione Centrale railway station. Buses of different companies depart every day and the journey lasts about 50 minutes. Tickets can be bought at arrivals floor or on the bus. Buses of “Malpensa Shuttle” can be bought online here.

Once you are at Milano-Stazione Centrale, you can take a Trenitalia train leading you directly to Verona-Porta Nuova.

train iconBy car

From Malpensa you have to follow the direction for the motorway “A8/Milano-Varese/Milano”. Follow the motorway A8 up to “Milano Nord” (about 25km) then take the exit on the left onto A4 toward “Tangenziale Est/Viale Zara/Venezia/E66/Milano”. Follow the motorway A4 up to “Verona Sud”.

From Milan-Linate airport

Linate airport is situated in the East of Milan and is about 160km from Verona.

train iconBy train

First of all, you have to take a bus from Linate to Milano Centrale railway station. Buses, managed by Starfly, depart from arrivals floor every 30 minutes from 6:05 AM to 11:45 PM. Tickets can be bought at the office of “Agenzia Autostradale Linate” or on the bus.

At Milano Centrale railway station you can take a Trenitalia train as far as Verona-Porta Nuova.

train iconBy car

From the airport follow the direction “Linate/A4/Venezia/Brescia” and merge onto motorway A51. After about 16km, take the exit onto A4/E64 toward Venezia (Venice). Finally, you take the exit “Verona Sud”.

From Venice-Marco Polo airport

Venice Marco Polo Airport is located on the mainland near Venice and Mestre. It is about 125km from Verona.

train iconBy train

From Marco Polo airport, the easiest way to reach Verona is to take a bus up to Mestre railway station and then take a Trenitalia train up to Verona-Porta Nuova railway station.

Buses joining the airport with Mestre are managed by ATVO S.p.A.. Buses depart every day. The journey lasts about 20 minutes. Tickets can be purchased at the following places:

  • automatic ATVO ticket machine in the arrivals baggage hall;
  • ATVO ticket office in the arrivals hall, open from 8.00 to 24.00;
  • automatic ticket machines located outside the airport, in the ATVO departure bays.
train iconBy car

Out of the airport, take the free motorway A27. After about 5km you have to take the exit onto the toll motorway A4/E70 toward “Padova/Milano”. Follow this motorway up to the exit “Verona Sud”.

From Verona-Valerio Catullo airport

The Valerio Catullo airport is joined to Verona by a bus service.

Buses depart every 20 minutes from 06.35 AM to 11.35 PM and reach the Verona-Porta Nuova railway station (where you find also the main bus station).

 

GandALF 2014 © 2014 Frontier Theme