Static Analysis Symposium 2000 (SAS2000; SAS00; SAS 2000; SAS'00)
Latest SAS news:

SAS 2013.


Previous SAS Conferences: SAS 2012 SAS 2011 SAS 2010 SAS 2009 SAS 2008 SAS 2007 SAS'06 SAS'05 SAS'04 SAS'03 SAS'02 SAS'01 SAS'00 SAS'99 SAS'98 SAS'97 SAS'96 SAS'95 SAS'94.

Previous Workshops: WSA'93 WSA'92 JTASPEFL'91.

Previous Proceedings.












the ancient home page of the

Static Analysis Symposium 2000

29 June-1 July, 2000
University of California, Santa Barbara, USA
Sponsored by the European Association for Programming Languages and Systems

SAS was successfully concluded on 1 July, 2000. A good time was had by all!

  • The Call for Papers
  • The Conference Program
  • The Local Arrangements Information
  • ACM SIGPLAN will give financial reimbursement to students who attended SAS.
  • For further information, contact: David Schmidt, Kansas State University, schmidt at cis.ksu.edu