Sponsored by the European Association for Programming Languages and Systems
Static Analysis is increasingly recognized as a fundamental
technique for high performance implementations and verification
systems of high-level programming languages. The series of
Static Analysis Symposia has served as the primary venue for
presentation of advances in the area. Previous symposia were
held in Venice, Pisa, Paris, Aachen, Glasgow, and Namur.
The Seventh International Static Analysis Symposium (SAS2000) will be at the same location as and immediately following the IEEE Logic in Computer Science Conference (LICS2000; see http://www.cs.bell-labs.com/who/libkin/lics/). Both LICS and SAS will be held at the Conference Center of the University of California, Santa Barbara, which is situated on the beaches of the Pacific Ocean (see http://www.ucsb.edu/).
The technical program for SAS2000 will consist of invited lectures, presentations of refereed papers, and software demonstrations. The invited speakers are
abstract interpretation data flow analysis
complexity analysis theoretical frameworks
optimizing compilers verification Systems
program specialization type inference
model checking abstract domains.
Submissions can address any programming paradigm, including
concurrent, constraint, functional, imperative, logic and
object-oriented programming. Survey papers that present some
aspect of the above topics with a new coherence are also welcome.
Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with a refereed proceedings.
Submitted papers must be written in English and print on USA 8.5x11-inch paper. Papers should be at most 15 pages excluding the bibliography and well-marked appendices, and at most 25 pages total. Papers should use at least an 11-point font, single column format, and reasonable margins on 8.5x11-inch paper. Program committee members are not required to read any appendices, and so a paper should be intelligible without them.
Submitted papers must on the first page contain an abstract and postal and electronic mailing addresses for at least one of the authors. Submissions must arrive by January 29, 2000. All submissions must be done electronically at http://www.cs.purdue.edu/homes/wangw/Docs/.
Authors will be notified of the acceptance or rejection of their papers by March 13, 2000. Final versions of the accepted papers must be received in camera-ready form by April 10, 2000. The proceedings will be published by Springer-Verlag in the series Lecture Notes in Computer Science. Authors of accepted papers should read the LNCS Authors Instructions.
Regularly updated information about SAS2000 can be found at this URL: http://www.cis.ksu.edu/santos/sas/.
Important Dates:
General Chair:
Program Chair: