Call for Workshops


Call for Affiliated Workshops
Paris, July 2001

This is an invitation to researchers and practitioners to submit proposals for workshops in connection with CAV'01. As in past years (1999-2000), CAV will welcome proposals for workshops that are related to topics generally covered by CAV, and which are of special interest to CAV attendees.

What are the possible topics?

Past workshops have emphasized advances in verification techniques, including model-checking of finite and infinite systems, formal methods, as well as emerging topics in verification, e.g., security.

Proposals that focus on promising new topics in the field of verification, or on new applications of verification methods to fields of interest, are particularly welcome.

Proposals that offer to provide a forum for detailed discussions on recent advances in more traditional subfields of verification are also encouraged.

Finally, proposals centered around particular applications, or aiming at gathering together a community of users of a particular verification tool are welcome as well. The spirit is that such workshops may foster interaction between researchers, developers and users, and in particular between academia and industry on specific topics of interest.

When and where can the workshops take place?

All workshops will take place on July, 23rd, 2001, that is, on the one day following the conference. At most two full-day workshops will take place at la Mutualite. If more than two full-day workshop proposals are accepted, the organizers of the remaining workshops will be informed in due time where they are to take place. This will in any case be in or near Paris, at some easily accessible location.

How do I propose an affiliated workshop?

Workshop proposals should consist of two parts:

Proposals should be addressed by mail at the coordinator's address (, preferrably in ASCII, with subject

and are due
February 01, 2001.

Organizers will be notified before
February 15, 2001.

The proposals will be evaluated by the CAV'01 steering committee on the basis of quality and interest to prospective participants. The titles and brief information related to accepted workshop proposals will be included in the conference program and advertised in the call for participation of CAV'01.

What is the responsability of the workshop organizers?

The individual workshop organizers will be responsible for:

As in previous years, the workshops must be supported through funds secured independently by the workshop organizers. These funds may include corporate contibutions, as long as the contributor understands the contribution is for an affiliated workshop, and not for CAV itself. Support for workshops is typically derived from a workshop registration fee. CAV, Inc., does not provide the financial guarantee to affiliated workshops that it provides to CAV itself.

Workshop coordinator

All questions, inquiries, etc., to:

Jean Goubault-Larrecq
LSV, ENS Cachan
61, avenue du president-Wilson

Phone: +33-1 47 40 24 30
Fax: +33-1 47 40 24 64

Last modified on 5th January 2001 -