[Om-announce] CAV 2017 Call for Workshop proposals

[Mikaël Mayer]

CALL FOR WORKSHOP PROPOSALS

29th International Conference on Computer Aided Verification (CAV 2017)
July 22-28, 2017, Heidelberg, Germany

The 2017 Computer-Aided Verification (CAV) Workshops provide an opportunity
for participants to discuss topics in the broader verification related
domains.
CAV 2017 Workshops will be held before the main conference on July 22nd
and 23rd.

Workshop proposals will be reviewed by the Workshop chair along with the
program chairs and members of the steering committee. Proposals must consist
of the following two parts:

Part I: Technical Information

A short (about 1 page) scientific justification of the proposed topic, its
significance and relevance to CAV, and the particular benefits of the
workshop to the verification community, as well as a list of previous or
related
workshops (if relevant).

Part II: Organizational Information

Contact information of the workshop organizers.
Identifying a main contact for the workshop (i.e. a workshop chair).
The desired length of the workshop, (one or two days).
Estimate of the audience size.
Proposed format and agenda (for example, demo sessions, tutorials, etc.)
Potential invited speakers.
Procedures for selecting papers and participants.
Plans for dissemination, if any (for example, special issues of journals).
Special technical, AV, or USB stick needs.
Links to a preliminary website of the workshop and call for papers (if
possible).
Information if workshop has been previously held.


Important Dates:

Proposals are due by December 1st, 2016 by email to the Workshop chair.
Organizers will be notified by December 8th, 2016.

The workshop proposals will be reviewed and evaluated on the following
criteria:

Potential to advance state of the art in verification technologies,
especially ability to break new ground.
Relevance to CAV.
Overlap of topics with other proposed workshops.
Past-successes of the workshop and association with previous CAV
conferences.
Organizers' ability and experience to lead a successful workshop.

All accepted workshops will be asked to provide a webpage, call
for papers, and list of invited speakers.
The workshop participants will be required to register for the workshop
through the CAV main registration page.

The registration rates for workshops will be set by CAV organizers in
consultation with the workshop organizers, following rate structures
similar to
(but not the same as) those followed in the past. The workshop organizers
are
strongly encouraged to seek external funding and sponsorships.

For further enquiries or information, please contact:

Eva Darulova (CAV 2017 Workshop Chair)
Max Planck Institute for Software Systems
email: eva at mpi-sws.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20161117/78c3b76a/attachment.html>