SAS2000: First Call for Papers

*****************************************************************
* *
* First Call For Papers *
* *
* INTERNATIONAL STATIC ANALYSIS SYMPOSIUM (SAS2000) *
* *
* Co-located with and immediately following LICS2000 *
* *
* University of California, Santa Barbara *
* 29 June-1 July, 2000 *
* *
* http://www.cis.ksu.edu/santos/sas/ *
* *
*****************************************************************
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. Contributions are welcome on all aspects of
Static Analysis, including, but not limited to:
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 should arrive by January 15, 2000.
All submissions must be done electronically; details of how to
submit a paper will be announced later.
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 are expected to be published by Springer-Verlag in
the LNCS series.
Regularly updated information about SAS2000 can be found at this
URL: http://www.cis.ksu.edu/santos/sas/.
Important Dates:
Submission: January 15, 2000.
Notification: March 13, 2000.
Final Version: April 10, 2000.
General Chair:
David Schmidt
Computing and Information Sciences Dept.
Kansas State University
Manhattan, KS 66506, USA
+1-785-532-6350
schmidt@cis.ksu.edu
Program Chair:
Jens Palsberg
Purdue University
Dept of Computer Science
W Lafayette, IN 47907, USA
+1-765-494-6012
palsberg@cs.purdue.edu
Program Committee:
Patrick Cousot (Ecole Normale Superieure, Paris)
Gilberto File (Padova University, Italy)
Roberto Giacobazzi (Universita di Verona, Italy)
C. Barry Jay (University of Technology, Sydney)
Thomas Jensen (IRISA/CNRS, France)
Neil D. Jones (DIKU, Denmark)
Jens Palsberg (Purdue University, USA)
David Sands (Chalmers University of Technology and Goteborg University)
David Schmidt (Kansas State University, USA)
Scott Smith (The Johns Hopkins University, USA)
Bernhard Steffen (University of Dortmund, Germany)
Pascal Van Hentenryck (Brown University, USA and Univ. Catholique de Louvain)
Joe Wells (Heriot-Watt University, Scotland)