CAV'01
Call for Affiliated Workshops
Paris, July 2001
http://www.lsv.ens-cachan.fr/cav01/main.html
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:
- First, a short scientific justification of the proposed topic, its
significance, and the particular benefits of the proposed workshop.
- Second, organizational details should include:
- list of all organizers,
- address, email, phone, and fax, of a single contact person,
- proposed format and agenda of the workshop, including dates
- for submission, acceptance and final versions of contributed
papers,
- [optional: list of previously organized similar workshops,]
- expected number of participants,
- plans for invited speakers,
- plans for proceedings or other publications,
- plans for demo sessions (if any).
Proposals should be addressed by mail at the coordinator's address
(goubault@lsv.ens-cachan.fr), preferrably in ASCII, with subject
CAV'01 WORKSHOP SUBMISSION
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:
- producing a call for papers for the workshop and posting it via
various electronic lists, on the Web, and possibly other means,
- providing a brief description of the workshop for the conference
program,
- reviewing and making acceptance decisions on submitted papers,
- scheduling workshop activities in collaboration with the local
organizers and the workshop chair,
- making the accepted papers available to the workshop participants.
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
F-94235 CACHAN CEDEX
(France)
Mail: goubault@lsv.ens-cachan.fr
Phone: +33-1 47 40 24 30
Fax: +33-1 47 40 24 64
Last modified on 5th January 2001 - cav01@lsv.ens-cachan.fr