Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Message-Id: <199509052057.QAA00866@forseti.cs.cornell.edu>
To: info-hol@cs.uidaho.edu
Subject: CAV 96 - Call for Papers
Date: Tue, 05 Sep 1995 16:57:24 -0400
From: Tom Henzinger <tah@cs.cornell.edu>


                          CALL FOR PAPERS

         CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV '96)

                      July 31 - August 3, 1996
                   New Brunswick, New Jersey, USA


This conference is the eighth in a series dedicated to the advancement of
the theory and practice of computer-assisted formal analysis methods for
software and hardware systems.  The conference covers the spectrum from
theoretical results to concrete applications, with an emphasis on
verification tools and the algorithms and techniques that are needed for
their implementation.  The proceedings of the conference will be published
in the Springer-Verlag Lecture Notes in Computer Science series.

The topics of interest include:

  * Modeling and specification formalisms (such as logical, automata-based,
      and algebraic methods)
  * Algorithms and tools (such as state-space exploration, model checking,
      synthesis, and automated deduction)
  * Verification techniques (such as state-space and transition-relation
      reduction methods, symbolic methods, probabilistic methods,
      compositional and modular reasoning, integration of algorithmic and
      deductive methods)
  * Applications and case studies (such as synchronous and asynchronous
      circuits, communication protocols and distributed algorithms,
      real-time and embedded control systems)
  * Verification in practice (integration of verification with design,
      specification, testing, debugging, and code generation)

The conference is part of the Federated Logic Conference (FLoC), July 27 -
August 3, 1996, being hosted by the Center for Discrete Mathematics and
Computer Science (DIMACS), Rutgers University, as part of its Special Year
on Logic and Algorithms.  In addition to CAV, FLoC includes the following
related conferences: IEEE Symposium on Logic in Computer Science (LICS),
Rewriting Techniques and Applications (RTA), and Conference on Automated
Deduction (CADE).  LICS and RTA will be held in parallel during the first
four days of FLoC.  CADE and CAV will be held during the last four days,
with CADE workshops running in parallel with the last day of LICS.
Plenary events involving all the conferences are scheduled.  Information
about FLoC can be found in http://dimacs.rutgers.edu.


Submission Information:

The conference will include contributed papers, project and tool
presentations, and invited lectures.  Submissions are invited in two
categories:

  A. Regular papers
       A regular submission should be an extended abstract not exceeding
       twelve (12) pages.  The submission should contain original research,
       and sufficient detail to assess the merits and relevance of the
       contribution.  Simultaneous submission to other conferences with
       proceedings, and submission of material that has already been
       published elsewhere, is not allowd.

  B. Project and tool presentations
       A project or tool submission should be an abstract not exceeding
       four (4) pages (note: the same page limit applies to the conference
       proceedings).  In this category, we encourage presentations and
       status reports on case studies, industrial applications, and tools.

The following information applies to submissions in both categories.
Authors may submit a paper by mailing electronically a self contained
Postscript(tm) version to the address

  cav96-submit@research.att.com

(strongly encouraged whenever possible for speeding up the reviewing
process), or by sending seven (7) hard-copies of the submission to

  Rajeev Alur
  Re: CAV '96
  AT&T Bell Labs
  Room 2D-144, 600 Mountain Avenue
  Murray Hill, NJ 07974
  USA

Every submission should start with a title page containing the category of
the submission (A or B), the title of the paper, each author's name and
affiliation, the contact author's physical and e-mail addresses, and a
one- or two-paragraph summary.

Important dates:

  Submission deadline (firm):                  January 4, 1996
  Notification of acceptance:                  March 11, 1996
  Proceedings version of accepted papers due:  April 17, 1996

Submissions that are not received by January 4, 1996, and submissions that
exceed the page limit run the risk of automatic rejection.


Organizers:

  Rajeev Alur (AT&T Bell Labs, Murray Hill, USA)
  Thomas A. Henzinger (Cornell University, Ithaca, USA)

  Please direct all inquiries about CAV '96 to cav96@research.att.com.

Program Committee:

  Rajeev Alur, co-chair (AT&T Bell Labs, Murray Hill, USA)
  Robert Brayton (University of California, Berkeley, USA)
  Karlis Cerans (University of Latvia, Riga, Latvia)
  David L. Dill (Stanford University, Stanford, USA)
  E. Allen Emerson (The University of Texas, Austin, USA)
  Orna Grumberg (The Technion, Haifa, Israel)
  Thomas A. Henzinger, co-chair (Cornell University, Ithaca, USA)
  Kim Larsen (Aalborg University, Aalborg, Denmark)
  David Long (AT&T Bell Labs, Murray Hill, USA)
  Ken McMillan (Cadence Labs, Berkeley, USA)
  Al Mok (The University of Texas, Austin, USA)
  Doron Peled (AT&T Bell Labs, Murray Hill, USA)
  Amir Pnueli (Weizmann Institute, Rehovot, Israel)
  Carl Seger  (University of British Columbia, Vancouver, Canada)
  Joseph Sifakis (VERIMAG, Grenoble, France)
  Scott Smolka (State University of New York, Stony Brook, USA)
  Mandayam Srivas (SRI International, Menlo Park, USA)
  Wolfgang Thomas (Universitaet Kiel, Kiel, Germany)
  Frits Vaandrager (CWI, Amsterdam, The Netherlands)
  Moshe Vardi (Rice University, Houston, USA)
  Pierre Wolper (Universite de Liege, Liege, Belgium)

Steering Committee:

  Edmund Clarke (Carnegie Mellon University, Pittsburgh, USA)
  Robert Kurshan (AT&T Bell Labs, Murray Hill, USA)
  Amir Pnueli (Weizmannn Institute, Rehovot, Israel)
  Joseph Sifakis (VERIMAG, Grenoble, France)

Plain text and Postscript(tm) versions of this Call for Papers are available 
at http://www.cs.cornell.edu/Info/People/tah/cav96.html, and by anonymous 
FTP from ftp.cs.cornell.edu in pub/tah/Cav96.