AMAST Mail - December 1999
[Prev][Next][Index]

CAV2000 Second Call for Papers

     (We apologize if you receive multiple copies of this message)



                          CALL FOR PAPERS

         CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2000)

                          15--19 July 2000
                            Chicago, USA

               URL:   http://www.cs.utexas.edu/users/cav2k/



The CAV 2000 conference is the twelfth 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 practical 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, distributed
  algorithms, real-time and embedded control systems, security).
* Testing based on Verification technology.
* 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. There are two categories of submissions:

A. Regular papers
    A submission of a regular paper should include 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 strongly encouraged to make their data
    available with their submission.  Simultaneous submission to
    other conferences with proceedings or submission of material that
    has already been published elsewhere is not allowed.

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 submission should describe the tool and its
    novel features.  Tool papers must describe tools that were
    already implemented. A demonstration is expected to accompany
    a tool presentation. Papers describing tools that have already
    been presented in this conference before will be accepted only
    if significant and clear enhancements to the tool are
    reported and were implemented.

Authors are strongly encouraged to use the electronic submission
procedure provided on the CAV 2000 web page
    http://www.cs.utexas.edu/users/cav2k/

As a last resort, people who don't have access to the net can send 
ten (10) hard-copies of the submission to
         
      A. Prasad Sistla
      Department of Electrical Engineering and Computer Science (M/C 154)
      Room 1120
      851 South Morgan Street
      University of Illinois at Chicago,
      Chicago, Illinois 60607 USA
      

Each submission should start with a title page
containing the category (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 abstract.

Please direct all inquiries about CAV 2000 to cav2k@cs.utexas.edu.


IMPORTANT DATES

      Submission deadline (firm):                   15 January 2000
      Notification of acceptance:                   15 March 2000
      Proceedings version of accepted papers due:   14 April 2000


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

CHAIRPERSONS

   E. Allen Emerson
      University of Texas at Austin
      (emerson@cs.utexas.edu)
   A. Prasad Sistla
      University of Illinois at Chicago
      (sistla@surya.eecs.uic.edu)

PROGRAM COMMITTEE
   
   Parosh Abdulla (Uppsala)
   Rajeev Alur (U. Penn and Bell Labs)
   Henrik Reif Andersen (ITU Copenhagen)
   Ed Brinksma (Twente)
   Randy Bryant (CMU)
   Werner Damm (Oldenburg)
   David Dill (Stanford)
   E. Allen Emerson, co-chair (U. Texas-Austin)
   Steven German (IBM)
   Rob Gerth (Intel)
   Patrice Godefroid (Bell Labs)
   Ganesh Gopalakrishnan (U. Utah)
   Mike Gordon (Cambridge)
   Nicolas Halbwachs (Verimag)
   Warren Hunt (IBM)
   Bengt Jonsson (Uppsala)
   Kim Larsen (Aalborg)
   Ken McMillan (Cadence)
   John Mitchell (Stanford)
   Doron Peled (Bell Labs)
   Carl Pixley (Motorola)
   Amir Pnueli (Weizmann)
   Bill Roscoe (Oxford)
   Joseph Sifakis (Verimag)
   A. Prasad Sistla, co-chair (U. Illinois-Chicago)
   Fabio Somenzi (U. Colorado)
   Pierre Wolper (Liege)

CAV STEERING COMMITTEE

   Edmund Clarke (CMU)
   Bob Kurshan (Bell Labs)
   Amir Pnueli (Weizmann)
   Joseph Sifakis (Verimag)
[ AMAST Mail - December 1999 | November 1999 | January 2000 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1999 | AMAST ]