emc@g.gp.cs.cmu.edu (Edmund Clarke) (01/05/89)
Call for Papers Workshop on Automatic Verification Methods for Finite State Systems Grenoble, France June 12-14 , 1989 Sponsored by C-cube, the French National Project on Parallelism This workshop is dedicated to bringing together researchers and practitioners interested in the development and use of methods tools and theories for automatic verification of finite state systems. The goal of the workshop is to compare the various verification methods for finite state systems, and tools supporting them as assistants of the application designer. Emphasis will be not only on new research results but also on the applications of existing results to real verification problems. Special sessions for demonstration of verification tools will be planned. Travel support for some participants will be provided. A balanced participation of researchers and practitioners is expected. Papers are sollicited on the following topics : Verification and validation tools for protocols, Real-time systems, hardware verification, Verification methods based on theorem proving, model checking, and automata based methods, Verification theories and their applicability. This list is not exhaustive, and papers in related areas that fit with the intensions of the workshop will also be considered. An author may submit a paper by mailing 4 copies of a preliminary version to either of the program committee members: E. M. Clarke A. Pnueli J. Sifakis CMU Weizmann Inst. LGI-IMAG Computer Sci. Dpt. Rehovot BP 53X Pittsburgh, PA 15213 Israel 38041 Grenoble cedex USA France The preliminary version is limited to a length of 12 double spaced typed pages. It should provide sufficient detail so that the program committee can assess the merits of the contribution. The deadline for the submission of the preliminary version is February 1, 1989. Authors will be notified of acceptance by March 15, 1989. The final versions of accepted and invited papers will be published after the workshop. Researchers who want to attend the workshop, but not present a paper should notify a member of the program committee as soon as possible.