20. SAS 2013: Seattle, WA, USA

• 
  Francesco Logozzo, Manuel Fähndrich (Eds.): Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7935 ISBN 978-3-642-38855-2 [ contents ]

19. SAS 2012: Deauville, France

• 
  Antoine Miné, David Schmidt (Eds.): Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7460 ISBN 978-3-642-33124-4 [ contents ]

18. SAS 2011: Venice, Italy

• 
  Eran Yahav (Ed.): Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6887 ISBN 978-3-642-23701-0 [ contents ]

17. SAS 2010: Perpignan, France

• 
  Radhia Cousot, Matthieu Martel (Eds.): Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6337 ISBN 978-3-642-15768-4 [ contents ]

16. SAS 2009: Los Angeles, CA, USA

• 
  Jens Palsberg, Zhendong Su (Eds.): Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5673 ISBN 978-3-642-03236-3 [ contents ]

15. SAS 2008: Valencia, Spain

• 
  María Alpuente, Germán Vidal (Eds.): Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science 5079 ISBN 978-3-540-69163-1 [ contents ]

14. SAS 2007: Kongens Lyngby, Denmark

• 
  Hanne Riis Nielson, Gilberto Filé (Eds.): Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4634 ISBN 978-3-540-74060-5 [ contents ]

13. SAS 2006: Seoul, Korea

• 
  Kwangkeun Yi (Ed.): Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4134 ISBN 3-540-37756-5 [ contents ]

12. SAS 2005: London, UK

• 
  Chris Hankin, Igor Siveroni (Eds.): Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3672 ISBN 3-540-28584-9 [ contents ]

11. SAS 2004: Verona, Italy

• 
  Roberto Giacobazzi (Ed.): Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3148 ISBN 3-540-22791-1 [ contents ]

10. SAS 2003: San Diego, California, USA

• 
  Radhia Cousot (Ed.): Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science 2694 ISBN 3-540-40325-6 [ contents ]

- SAS 2003 Home Page (part of FCRC'03)

9. SAS 2002: Madrid, Spain

• 
  Manuel V. Hermenegildo, Germán Puebla (Eds.): Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2477 ISBN 3-540-44235-9 [ contents ]

- SAS 2002 Home Page

8. SAS 2001: Paris, France

• 
  Patrick Cousot (Ed.): Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science 2126 ISBN 3-540-42314-1 [ contents ]

7. SAS 2000: Santa Barbara, CA, USA

• 
  Jens Palsberg (Ed.): Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1824 ISBN 3-540-67668-6 [ contents ]

6. SAS 1999: Venice, Italy

• 
  Agostino Cortesi, Gilberto Filé (Eds.): Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science 1694 ISBN 3-540-66459-9 [ contents ]

5. SAS 1998: Pisa, Italy

• 
  Giorgio Levi (Ed.): Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science 1503 ISBN 3-540-65014-8 [ contents ]

4. SAS 1997: Paris, France

• 
  Pascal Van Hentenryck (Ed.): Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science 1302 ISBN 3-540-63468-1 [ contents ]

3. SAS 1996: Aachen, Germany

• 
  Radhia Cousot, David A. Schmidt (Eds.): Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science 1145 ISBN 3-540-61739-6 [ contents ]

2. SAS 1995: Glasgow, UK

• 
  Alan Mycroft (Ed.): Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings. Springer 1995 Lecture Notes in Computer Science 983 ISBN 3-540-60360-3 [ contents ]

1. SAS 1994: Namur, Belgium

• 
  Baudouin Le Charlier (Ed.): Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings. Springer 1994 Lecture Notes in Computer Science 864 ISBN 3-540-58485-4 [ contents ]

3. WSA 1993: Padova, Italy

• 
  Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (Eds.): Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Springer 1993 Lecture Notes in Computer Science 724 ISBN 3-540-57264-3 [ contents ]

2. WSA 1992: Bordeaux, France

Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy (Eds.): Actes WSA'92 Workshop on Static Analysis (Bordeaux), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Published by Atelier Irisa, IRISA, Campus de Beaulieu, Series Bigre Vol. 81-82
Contents

1. JTASPEFL/WSA 1991: Bordeaux, France

Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy (Eds.): Actes JTASPEFL'91 (Bordeaux), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Published by Atelier Irisa, IRISA Campus de Beaulieu, Series Bigre Vol. 74
Contents