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
Static Analysis Symposium 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.

11th Static Analysis Symposium - SAS 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
Submissions
Talks Schedule
Invited Talks
Registration and Accomodation
Program and Social Events
Proceedings
Venue
Paper Distribution by Country
Previous Symposia
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
sas04@sci.univr.it

Previous Static Analysis Symposia:

  • SAS'03, San Diego, California, June 11-13, 2003, LNCS 2694
  • SAS'02, Madrid, Spain, September 17-20, 2002, LNCS 2477
  • SAS'01, Paris, France, July 16-18, 2001, LNCS 2126
  • SAS'00, Santa Barbara, California, June 29-July 1, 2000, LNCS 1824
  • SAS'99, Venice, Italy, September 22-24, 1999, LNCS 1694
  • SAS'98, Pisa, Italy, September 14-16, 1998, LNCS 1503
  • SAS'97, Paris, France, September 8-10, 1997, LNCS 1302
  • SAS'96, Aachen, Germany, September 24-26, 1996, LNCS 1145
  • SAS'95, Glasgow, United Kingdom, September 25-27, 1995, LNCS 983
  • SAS'94, Namur, Belgium, September 28-30, 1994, LNCS 864
PEPM 2004 - ACM SIGPLAN 2004 Symposium on Partial Evaluation and Semantics Based Program Manipulation

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