Third International Workshop on
Verification, Model Checking and Abstract Interpretation


Call for papers

Program committe


Conference program


General Information









Conference Venue | Getting to Venice

Conference Venue

The workshop will be held at the Auditorium S. Margherita, next to Campo S. Margherita. The bulding is very close (i.e., 10-15 minutes walking) to the two access points of Venice: P.le Roma and the train station (Stazione F.S. Venezia S. Lucia).

Click here to see the map.


Auditorium Santa Margherita
Dorsoduro, 3689
Tel. 041 5212765
Fax 041 5212770

Getting to Venice

By plane. Venice is easily reachable via an international airport (Marco Polo airport). There are many ways of getting from the airport to the center of Venice, with different features and at least two orders of magnitude in the price. They are listed below by increasing cost.

  • Public bus (ACTV n. 5) from the airport to Venice (P.le Roma). It runs every 30 minutes, costs LIT 1,500, and takes about 30-35 minutes.

  • Direct bus (ATVO) from the airport to Venice (P.le Roma). It runs every 20 minutes, costs LIT 5,000, and takes about 20-25 minutes.

  • Motorboat (ALILAGUNA) from the airport to Venice (either P.za S. Marco or P.le Roma). It runs every hour, costs LIT 17,000, and takes about 1 hour.

  • Taxi from the airport to Venice (P.le Roma). Most frequent, expensive and fastest: it can cost you more than 60,000 LIT.

  • Water Taxi from the airport to almost any place in Venice. Definetely the most expensive: it can easily cost you over LIT 150,000. It is always essential to agree on a water-taxi fare before boarding.

By train. Venice has rail connections with every major city in Italy and the rest of Europe. The main train station (Stazione F.S. Venezia S. Lucia) is on the Grand Canal in the northwest corner of the city. Some through trains do not terminate at Santa Lucia, stopping only at the Venezia-Mestre Station on the mainland. All trains traveling to and from Santa Lucia stop at Mestre, so to get from Venezia-Mestre to Santa Lucia, or vice versa (a 10-minute trip), take the first available train, remembering there is a supplemento (extra charge) for traveling on Intercity and Eurocity trains, and that if you do not pay it before boarding, you are liable for a fine. You can also check the European train schedule in case you are arriving by train from Europe or the Italian train schedule if you are getting to Venice from another Italian city.

By car. If you bring a car to Venice, you will have to pay for a garage or parking space during your stay. Parking at Piazzale Roma (in the Autorimessa Comunale run by the city) costs between 15,000 and 25,000 lire, and at the private Garage San Marco (next door) between 30,000 and 45,000 lire per 24 hours, depending on the size of the car. To reach the privately run Tronchetto parking area, follow the signs to turn right before Piazzale Roma. Warning: Do not be waylaid by illegal touts--often wearing fake uniforms--who may try to flag you down and offer to arrange parking and hotels, but continue on until you reach the automatic ticket machines. Parking here costs around 35,000 lire per 24 hours under cover and slightly less outside. (Do not leave valuables in the car. There is a left-luggage office, open daily 8 AM-8 PM, next to the Pullman Bar on the ground floor of the municipal garage at Piazzale Roma.) The Venetian Hoteliers Association (AVA) should have arranged a discount of about 40% for hotel guests who use the official Tronchetto parking facility. Be sure to ask for a voucher on checking into your hotel; it will be issued when you settle the hotel bill. Present the voucher at Tronchetto when you pay the parking fee. Another solution would be to park in a private parking in front of Mestre railway station (9000 L. for 24 hours) and use either the train or the bus to reach Venice.