[comp.theory] CAV - New Deadline

ask@iesd.auc.dk (Arne Skou) (01/15/91)

 
                 C A L L   F O R   P A P E R S
                        (NEW DEADLINE)

            WORKSHOP ON COMPUTER-AIDED VERIFICATION
                  Aalborg University, Denmark
                        JULY 1-4, 1991


OBJECTIVE
This workshop is the third in a series 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.   
A balanced participation of researchers and practitioners is expected.
The workshop has official recognition from IFIP WG10.2 (Hardware
Description Languages).  

SCOPE
Papers are solicited on the following topics:

    - Verification and validation tools for hardware and software
	  (hardware controllers, communications protocols,
	   real-time systems, etc.)

    - Verification methods by theorem proving, model checking,
	  automata based methods

    - Verification theories and their applicability

This list is not exhaustive, and papers in related areas that fit with
the intentions of the workshop will also be considered.  

STEERING COMMITTEE
  E.M. Clarke			R.P Kurshan
  Carnegie--Mellon Univ.	AT&T Bell Laboratories	
  Comp.Sc. Dept.		Room 2C-353
  Pittsburgh, PA 15213		Murray Hill, NJ 07974
  U.S.A.			U.S.A.

  K.G. Larsen (Prg.Chair)	A. Pnueli
  Aalborg University		Weizmann Inst.
  Dept. of Math. and Comp.Sc.	Rehovot
  Frederik Bajersvej 7		Israel
  9220 Aalborg
  Denmark

  J. Sifakis
  LGI--IMAG
  BP 53X
  38041 Grenoble cedex
  France


SUBMITTING PAPERS
An author may submit a paper by mailing 4 copies of a preliminary
version to any of the steering committee members or the program
chairman.  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 15,
1991.  Authors will be notified of acceptance by April 1, 1991. 
The final versions of accepted and invited papers will be published
after the workshop.


PROGRAM COMMITTEE
Gregor Bochmann (U. Montreal)
Robert Brayton (U. California, Berkeley)
Ed Brinksma (Twente U.)
Randy Bryant (Carnegie Mellon)
Rance Cleaveland (N.C. State)
Olivier Coudert (Bull)
Costas Courcoubetis (U. Crete)
David Cohen (Bell Core)
Werner Damm (U. Oldenburg)
David Dill (Stanford U.)
Allen Emerson (U. Texax, Austin)
Masahiro Fujita (Fujutsu)
Orna Grumberg (Technion)
Hiromi Hiraishi (Kyoto U.)
Gerard Holtzmann (AT&T Bell Labs)
Bengt Jonsson (SICS)
Kurt Keutzer (AT&T Bell Labs)
Harry Lewis (Harvard)
Michael Lightner (U.Colorado)
George Milne (U. Strathclyde)
Willem deRoever (Kiel U.)
Prasad Sistla (GTE Labs)
Colin Stirling (Edinburgh U.)
P.A. Subrahmanyam (At&T Bell Labs)
Pierre Wolper (U. Liege)
Michael Yoeli (Technion)