CAV'97 call for papers

• Subject: CAV'97 call for papers
• From: orna Grumberg <orna@csa.CS.Technion.AC.IL>
• Date: Thu, 12 Sep 1996 08:58:58 +0300
• cc: orna@csa.CS.Technion.AC.IL

                          CALL FOR PAPERS

         CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV 97)

                         June 22--25, 1997
                            Haifa, ISRAEL


This conference is the ninth 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)


SUBMISSION INFORMATION

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

A. Regular papers
    A submission of a regular paper should be an extended abstract not 
    exceeding ten (10) pages. The submission should contain original 
    research, and sufficient detail to assess the merits and relevance of 
    the contribution. For papers reporting experimental results authors are 
    encouraged to make their data publicly available (e.g. on the web).
    Simultaneous submission to other conferences with proceedings, and 
    submission of material that has already been published elsewhere, 
    is not allowed.

    In order to encourage submissions of papers on case studies and practical
    techniques, papers dedicated to these subjects will be judged separately.
    Authors may either indicate that their paper falls into this sub-category 
    or leave the decision to the committee. The same submission instructions 
    are applicable to these papers. They will get the same number of pages in 
    the proceedings.

B. Tool presentations
    Tool submission should be an abstract not exceeding four (4) pages.
    The same page limit (4) applies to the conference proceedings.


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

       cav97-submit@cs.technion.ac.il

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

Program Chair: Orna Grumberg
               Re: CAV 97
               Computer Science Dept.
               Room 471, Fishbach building
               Technion
               Haifa 32000
               Israel

Every submission should start with a title page containing the category
(A or A-case study 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 abstract.


IMPORTANT DATES

      Submission deadline (firm):                   January 6, 1997
      Notification of acceptance:                   March 10, 1997
      Proceedings version of accepted papers due:   April 10, 1997

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


PROGRAM COMMITTEE
      Rajeev Alur (Bell Labs and UC Berkeley, USA)
      Edmund Clarke (Carnegie Mellon University, USA)
      Rance Cleaveland (NC State University, USA)
      Werner Damm (Oldenburg University, Germany)
      E. Allen Emerson (UT Austin, USA)
      Limor Fix (Intel, Israel)
      Susanne Graf (VERIMAG, France)
      Orna Grumberg, chair (The Technion, Israel)
      Nicolas Halbwachs (VERIMAG, France)
      Thomas A. Henzinger (UC Berkeley, USA)
      Bengt Jonsson (Uppsala University, Sweden)
      Robert Kurshan (Bell Labs, USA)
      Kim Larsen (Aalborg University, Denmark)
      Ken McMillan (Cadence Labs, USA)
      Carl Pixley (Motorola, USA)
      Mandayam Srivas (SRI International, USA)
      Frits Vaandrager (University of Nijmegen, The Netherlands)
      Antti Valmari (Tampere University of Technology, Finland)
      Moshe Vardi (Rice University, USA)
      Pierre Wolper (University of Liege, Belgium)
   
STEERING COMMITTEE
      Edmund Clarke (Carnegie Mellon University, Pittsburgh, USA)
      Robert Kurshan (Bell Labs, Murray Hill, USA)
      Amir Pnueli (Weizmann Institute, Rehovot, Israel)
      Joseph Sifakis (VERIMAG, Grenoble, France)

Please direct all inquiries about CAV 97 to  cav97@cs.technion.ac.il
Further information about the conference will be available at

    http://www.cs.technion.ac.il/~cav97/cav97.html

Information about Haifa, the conference location, is available at

    http://www.insite.co.il/tour/haifa/haifa.htm

• Prev: Book Announcement "Partial Evaluation"
• Next: CAVE WORKSHOP DEC 96
• Index: AMAST Mail 1996