Verification,
Model Checking and Abstract Interpretation
|
|
|
Conference Venue
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.
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. |