CAV '99

International Conference on Computer-Aided Verification

July 7-10, 1999

Trento, Italy

This conference is part of the second Federated Logic Conference (FLOC'99).

• Call for papers
• Submission information
• Important dates
• CAV'99 Program Committee
• CAV Steering Committee
• Tutorial day and Invited speakers

Call for Papers
[download postscript version]

CAV'99 is the eleventh 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 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.

Click here to submit a regular paper

---

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 substantial and clear enhancements to the tool are reported and were implemented.

Click here to submit a tool presentation

---

Authors are encouraged to follow the LNCS instructions when writing their submission.

Authors are strongly encouraged to use the electronic submission procedure provided above.

People who don't have access to the net can send seven (7) hard-copies of the submission to

Nicolas Halbwachs
Verimag
2, avenue de Vignate
F-38610 Gieres, France

Every such 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'99 to CAV99@imag.fr

Important Dates

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

Chair persons

Nicolas Halbwachs


Verimag, France
(Nicolas.Halbwachs@imag.fr)


Doron Peled


Bell Labs, USA, and Technion, Israel
(doron@research.bell-labs.com)

CAV'99 Program Committee

Gerard Berry (Ecole des Mines, France)
Ahmed Bouajjani (Verimag, France)
Ching-Tsun Chou (Intel, USA)
Edmund Clarke (CMU, USA)
Werner Damm (Oldenburg U., Germany)
David Dill (Stanford U., USA)
Allen Emerson (Austin U., USA)
Javier Esparza (Munich U., Germany)
Limor Fix (Intel, Israel)
Mike Gordon (Cambridge U., UK)
Nicolas Halbwachs (co-chair, Verimag, France)
Tom Henzinger (Berkeley, USA)
Alan Hu (UBC, Canada)
Bengt Jonsson (Uppsala U., Sweden)
Bob Kurshan (Bell Labs, USA)
Gavin Lowe (Leicester U., UK)
Ken McMillan (Cadence, USA)
Doron Peled (co-chair, Bell Labs, USA and Technion, Israel)
Carl Pixley (Motorola, USA)
A. Prasad Sistla (Chicago U., USA)
Fabio Somenzi (Colorado U., USA)
Mandayam Srivas (SRI, USA)
Antti Valmari (Tampere U. Techn., Finland)
Yaron Wolfsthal (IBM, Israel)
Pierre Wolper (Liege U., Belgium)

Edmund Clarke (CMU, USA)
Bob Kurshan (Bell Labs, USA)
Amir Pnueli (Weizmann, Israel)
Joseph Sifakis (verimag, France)

Tutorial Day and Invited Speakers

On July 6, one day will be devoted to invited tutorials, on the following topics:

• Symbolic Model Checking : Edmund Clarke (CMU)
• Hardware Verification : David Dill (Stanford University)
• Specification and Verification of Timed Systems: Joseph Sifakis (Verimag) and Rajeev Alur (University of Pensylvania)

On the other hand, several invited talks will be given during the conference. Here is the provisional list of speakers and topics:

• Zohar Manna (Stanford University): title to be precised (common invited talk with CADE)
• Gunnar Stalmarck (Prover Technology): tautology checking
• Alain Deutsch (Inria): abstract interpretation applied to the verification of Ariane5 software
• Ed Brinksma (University of Twente) : program testing