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
 FullPaper Submissions
 ShortPaper (Ext. Abstr.) 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 is among the most important historical and artistic
town in Italy, with more than two thousand years of history.
During the Roman Empire it was a political and commercial
centre, whose magnificent traces can still be seen in the Arena
and the Roman Theatre.

Verona has always been synonymous with culture, nowadays
it attracts people from everywhere thanks to the Arena,
the myth of Romeo and Juliet and its precious beauty.
SAS'04 has been scheduled at the end of August 2004,
so that participants may also appreciate the cultural
events in town, such as the opera at the Arena and other
open air concerts and happenings.

The conference will be hosted by the University itself,
at the Polo Didattico Zanotto, a new and modern building,
which was built one year ago, in order to enlarge the
University of Verona and provide students with more lecture
rooms and up-to-date technical equipment. To reach
the conference venue you can take bus number
11, 12, 13, 14, or 51: get off in via XX Settembre,
the first stop after the bridge (Ponte Navi);
turn right into via dell'Artigliere and go straight on
as far as the Polo Didattico Zanotto,
in Viale dell'Università n. 4 (100 metres away the bus stop).

LOPSTR'04 will be held in Aula 1.1 and Aula T1

Here is a map showing the area from the railway station
to Via dell'Artigliere.

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