🚀 go-pugleaf

				***** CALL FOR PAPERS *****

			Conference on Computer-Aided Verification

				Heraklion, Crete, GREECE
				 June 28 - July 1 1993


This conference is the fourth in a series dedicated to bringing together
researchers and practitioners interested in the development and use of
methods, tools and theories for the computer aided verification of 
concurrent systems. The goal of the conference is to compare various 
verification methods, and practical tools that can be used to assist 
the applications designer. Emphasis will be placed on new research 
results and applications of existing results to real verification problems.
Special sessions for tutorials and demonstration of verification tools 
are planned. A balanced participation of researchers and practitionners 
is expected.  Papers are solicited on the following topics:

 * Verification and validation tools for hardware and software systems,
   including protocols, distributed systems, real time control systems and
   digital circuits and systems

  * Verification and validation methods based on model checking, theorem 
   proving, automata based methods
 
  * Verification theories and their applicability

  * Complexity and efficiency issues in automatic verification

This list is by no means exhaustive and papers in related areas that fit
with the intentions of the conference will be also considered. 
An author may submit a paper by mailing electronically a self contained 
latex or postscript version to the address cav@csd.uch.gr 
(strongly encouraged for speeding up the reviewing process) AND by sending 
five (5) copies of the preliminary version to the Program Chairman.
The length is limited to twelve (12) double spaced typed
pages. It should provide sufficient detail so that the program committee 
can access the merits of the contribution. The deadline for the submission
is January 15, 1993. Authors will be notified of acceptance by March 19,
1993. The accepted papers will be published in the conference proceedings.

Program Chairman:	Costas Courcoubetis
			University of Crete, Department of Computer Science and
			Institute of Computer Science, FORTH
			P.O. Box 1385, GR-71110, Heraklion, Crete, GREECE
			e-mail: courcou@csi.forth.gr

Steering Committee:	

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

Program Committee:

	R. Alur, Stanford University and AT&T, USA
	R. Brayton, University of Cal. at Berkeley, USA
	E. Brinksma, University of Twente, Netherlands
	R. Cleaveland, North Carolina State University, USA          
	W. Damm, Techn. Informatik, Oldenburg University, Germany
	R. de Simone, INRIA, France
	D. Dill, Stanford University, USA
	A. Emerson, University of Texas at Austin, USA
	O. Grunberg, Technion, Israel
	N. Halbwachs, LGI-IMAG, France						
	H. Hiraishi, Kyoto Sangyo University, Japan
	G. Holzmann, AT&T Bell Labs, USA
	K. Larsen, Aalborg University Center, Denmark
	P. Loewenstein, Mitsubishi Electronics of America, USA
	L. Paulson, Cambridge University, United Kingdom
	D. Probst, Concordia University, Canada
	A. Sangiovanni Vincentelli, University of Cal. at Berkeley, USA
	B. Steffen, Technical University, Aachen, Germany
	C. Stirling, University of Edinburgh, United Kingdom
	P. Wolper, Universite de Liege, Belgium
	T. Yoneda, Tokyo Institute of Technology, Japan