Static Analysis (WSA/SAS)

25th SAS 2018: Freiburg, Germany

24th SAS 2017: New York, NY, USA

23rd SAS 2016: Edinburgh, UK

22nd SAS 2015: Saint-Malo, France

21st SAS 2014: Munich, Germany

20th SAS 2013: Seattle, WA, USA

19th SAS 2012: Deauville, France

18th SAS 2011: Venice, Italy

17th SAS 2010: Perpignan, France

16th SAS 2009: Los Angeles, CA, USA

15th SAS 2008: Valencia, Spain

14th SAS 2007: Kongens Lyngby, Denmark

13th SAS 2006: Seoul, Korea

12th SAS 2005: London, UK

11th SAS 2004: Verona, Italy

10th SAS 2003: San Diego, California, USA

9th SAS 2002: Madrid, Spain

SAS 2002 Home Page

8th SAS 2001: Paris, France

7th SAS 2000: Santa Barbara, CA, USA

6th SAS 1999: Venice, Italy

5th SAS 1998: Pisa, Italy

4th SAS 1997: Paris, France

3rd SAS 1996: Aachen, Germany

2nd SAS 1995: Glasgow, UK

1st SAS 1994: Namur, Belgium

3. WSA 1993: Padova, Italy

2. WSA 1992: Bordeaux, France

1. JTASPEFL/WSA 1991: Bordeaux, France

maintained by Schloss Dagstuhl LZI at University of Trier