Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
International Symposium on Logic-based Program Synthesis and Transformation 2004
[go: Go Back, main page]

The arena of Verona

There is no world without Verona walls,
but purgatory, torture, hell itself.

W. Shakespeare, Romeo and Juliet, 3-3.

International Symposium on Logic-based Program Synthesis and Transformation 2004

Verona, Italy, August 26 - 28, 2004

LOPSTR + PEPM + PPDP + SAS: Verona, August 23 - 28, 2004
Conference
 Call for Papers
 Call for Workshop Proposals
 Important Dates
 Program Committee
 Organising Committee
 Abstract Submissions
 Full Paper Submissions
 Registration and Accomodation
 Program and Social Events
 Talks Schedule
 Invited Talks
 Venue
 Affiliated Workshops

Verona
 How to Reach Verona
 A Virtual Tour of Verona
 The Arena of Verona
 What's on Tonight in Verona? (in Italian)
 The Weather in Verona (in Italian)
 An Interactive Map of Verona (in Italian)
 From the Webcam in Piazza Bra

Contact
 lopstr04@sci.univr.it

Verona Valerio Catullo airport is the closest airport to Verona. A regular bus service and taxis link the terminal building with Verona Porta Nuova railway station. Buses are much cheaper than taxis. For bus time table information see the airport website.

Alternatively, you can land in Venice Marco Polo airport. A regular bus service and taxis link its terminal building to Venezia Mestre railway station (half an hour). From there it is possible to reach Verona railway station by train in one hour and a half. Train timetable information is available.

However, the main international hubs near Verona are Milan Malpensa and Linate airports. A regular bus service and taxis link the terminal building to Milano Centrale railway station in one hour. Buses are much cheaper than taxis. From there it is possible to reach Verona railway station in one hour and a half. Train timetable information is available.

Cheap flights can sometimes be booked for Brescia Gabriele D'Annunzio airport. Also Treviso San Giuseppe airport is such an option, see Ryan Air site for more information and booking. From those airports, a bus service synchronised with the flight arrivals takes you to Verona and to Mestre railway station, respectively, both in one hour. From Mestre you still need to take a train that takes you to Verona in one hour and a half, according to the train timetable.

SAS 2004 - Static Analysis Symposium

PEPM 2004 - ACM SIGPLAN 2004 Workshop on Partial Evaluation and Semantics Based Program Manipulation

PPDP 2004 - 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming