Workshop on Automated Analysis of Software

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

                          FINAL CALL FOR PAPERS

         First ACM SIGPLAN Workshop on Automated Analysis of Software
                           affiliated with POPL '97
                       Paris, France  *  14 January 1997

The subject of the workshop is model-based automatic analysis and its
role in the design and development of software. By 'model-based', we
mean first, that an abstract model is analyzed in place of the
software artifact itself, and second, that automatic analyses based on
semantic models-such as model checking or state exploration-are used
rather than syntax-driven proof techniques.

Model-based analysis has been vigorously pursued in the context of
verification of finite-state systems such as computer hardware and
communications protocols; typical problems have ranged from the very
specialized (deadlock detection) to the very general (temporal-logic
model checking, semantic minimization). The developing commercial
success of this area has begun to spur interest among software
researchers, especially in light of the technical similarity between
some verification algorithms and static analysis approaches used in
compilers, and the growing awareness of the utility of precise
software design notations.

Topics of interest will include but not be limited to:
-analysis algorithms and tools
-modeling notations and methods
-extraction of models from artifacts
-construction of artifacts from abstract models
-techniques for decomposition and abstraction of models

Research papers, experience reports, and position papers will all be

Submissions should not exceed 5,000 words, excluding bibliography and
figures, and must describe work that has not previously been
published.  Papers deviating from these guidelines are likely to be
returned without review.  Authors should send to Rance Cleaveland by
October 18, 1996:

  . an email message containing the title, author's contact information
    and an abstract (not to exceed 200 words) in ASCII;

  . the paper itself, which may be sent either as a poscript file by
    email, or by post; if by post,  please include five (5) hard copies.

Electronic submission is strongly encouraged; authors who do so should
ensure that their files use only standard, platform-independent

Important Dates
        Oct 18, 1996  *  Submission deadline
        Nov 17, 1996  *  Notification of acceptance or rejection
        Dec 16, 1996  *  Final versions due
        Jan 14, 1997  *  Workshop


Workshop Chairs

Rance Cleaveland
Dept. of Computer Science
226 Withers Hall
N.C. State University
Raleigh, NC 27695-8206 USA
(919) 515-7862 (voice)
(919) 515-7896 (fax)

Daniel Jackson
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213 USA
(412) 268-5143  (voice)
(412) 268-5576 (fax)

Program Committee

John Gannon (Univ. of Maryland)
Nicolas Halbwachs (Univ. of Grenoble)
Constance Heitmeyer (Naval Research Lab)
Thomas Henzinger (Univ. of California, Berkeley)
Gerard Holzmann (Bell Labs)
Jeff Kramer (Imperial College)
David Notkin (Univ. of Washington)
Bill Roscoe (Oxford Univ.)
Bernhard Steffen (Univ. Passau)
Bent Thomsen (ICL)