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
 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 (new!)
 Talks Schedule
 Invited Talks
 Affiliated Workshops

 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


View of Verona

View of Verona and the River Adige from the Ponte Nuovo, 1747-48.
Oil on canvas, Gemäldegalerie, Dresden (by Bernardo Bellotto, the Canaletto).

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