Delivery-Date: 
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
Date: Mon, 3 Jan 94 10:33:25 PST
From: dill@hohum.Stanford.EDU (David Dill)
Message-Id: <9401031833.AA04365@hohum.Stanford.EDU>
To: asynchronous@hohum.Stanford.EDU, cav-masses@hohum.Stanford.EDU, 
    concurrency@cwi.nl, info-hol@cs.uidaho.edu, isabelle-users@cl.cam.ac.uk, 
    thoery-a@vm1.nodak.edu
Subject: CAV 94 call for papers (submissions due Jan 17)

		           CALL FOR PAPERS 

	      CONFERENCE ON COMPUTER-AIDED VERIFICATION
	        Stanford University, Stanford CA, USA
		        June 21 - June 24, 1994


This conference is the sixth in a series dedicated to the advancement of
the theory and practice of computer-assisted formal verification.
Emphasis will be placed on research results that may potentially
result in improved techniques, implementation issues for existing
verification results, and application of methods to real verification
problems.

Special sessions for tutorials and demonstration of verification tools
are planned.  

The boundaries of the conference are not rigid.  In the past,
papers on the following topics have been enthusiastically received:


Application areas:  synchronous and asynchronous circuits, computer
arithmetic, protocols, distributed algorithms, real-time systems,
hybrid systems.

Methods based on: automata, model-checking, automated deduction.

Theoretical issues:  decidability of verification problems and logics,
computational complexity results, verification algorithms.

However, any paper that is of potential interest for computer-aided
verification will be considered.


SUBMISSION:

Electronic submission of Postscript(tm) files by emailing to
"cav@cs.stanford.edu" is REQUIRED, except for authors who do not have
reasonable access to electronic mail through Internet, BITNET, etc.
Draft papers should be no more than 10 pages long (with normal font
sizes, line spacing, margins, etc.)  Papers should provide sufficient
detail so that their technical contributions can be assessed by
members of the program committee.  Accepted papers will be published
in the conference proceedings.  Submissions must be received by
January 17, 1994.  Authors will be notified of acceptance or rejection
by March 11, 1994.


Program Chairman:		David L. Dill
				CIS 135
				Stanford, CA  94305-4070
				cav@cs.stanford.edu


Steering Committee:

E. M. Clarke, Carnegie Mellon University, USA
R. P. Kurshan,  AT&T Bell Laboratories, USA
A. Pnueli, Weizmannn Institute, Israel
J. Sifakis, Verimag-IMAG, France


Additional members of the program committee:

R. Alur, AT&T Bell Labs, USA
R. Brayton, U. of California, Berkeley, USA
E. Brinksma, U. of Twente, The Netherlands
R. Bryant, Carnegie Mellon U., USA
R. Cleaveland, N. Carolina St. U. USA
C. Courcoubetis, U. of Crete, Greece
R. de Simone, INRIA, France
A. Emerson, U. of Texas, Austin, USA
M. Fujita, Fujitsu, Japan
S. German, GTE Labs, USA
O. Grumberg, Technion, Israel
N. Halbwachs, France
G. Holzmann, AT&T Bell Labs, USA
K. Larsen, Aalborg U., Denmark
K. McMillan, AT&T Bell Labs, USA
L. Paulson, Cambridge U., United Kingdom
N. Shankar, SRI International, USA
F. Somenzi, U. of Colorado, Boulder, USA
B. Steffen, Techical U. of Aachen, Germany
P. Varaiya, U. of California, Berkeley, USA
P. Wolper, U. de Liege, Belgium
T. Yoneda, Tokyo Inst. of Tech., Japan