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
PEPM'04: ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation
[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.

ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation - PEPM'04

Verona, Italy, August 24 - 25, 2004

LOPSTR + PEPM + PPDP + SAS: Verona, August 23 - 28, 2004
Conference
Call for Papers (PDF) (HTML) (text)
Call for Workshop Proposals
Important Dates
Program Committee
Organising Committee
Submissions
Tool papers
Registration and Accommodation
PEPM Preliminary Programme (new!)
Program and Social Events
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
pepm04@sci.univr.it

Invited Talks

  • Sheila McIlraith; Towards Declarative Programming for Web Services

  • Yannis Smaragdakis; Program Generators and the Tools to Make Them.

  • Ehud Shapiro; Injecting Life with Computers

  • Thomas Henzinger; The BLAST Query Language for Software Verification.

  • Patrick Cousot; lagrangian and mathematical programming relazation framework for static analysis and verification.
    • SAS 2004 - Static Analysis Symposium

    LOPSTR 2004 - International Symposium on Logic-based Program Synthesis and Transformation

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