From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D001C8005F for ; Thu, 17 Nov 2016 10:58:54 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mikael.mayer@epfl.ch; spf=Pass smtp.mailfrom=mikael.mayer@epfl.ch; spf=None smtp.helo=postmaster@smtp4.epfl.ch Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mikael.mayer@epfl.ch) identity=pra; client-ip=128.178.224.219; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mikael.mayer@epfl.ch"; x-sender="mikael.mayer@epfl.ch"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mikael.mayer@epfl.ch designates 128.178.224.219 as permitted sender) identity=mailfrom; client-ip=128.178.224.219; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mikael.mayer@epfl.ch"; x-sender="mikael.mayer@epfl.ch"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp4.epfl.ch) identity=helo; client-ip=128.178.224.219; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mikael.mayer@epfl.ch"; x-sender="postmaster@smtp4.epfl.ch"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AWN4I1RRg40foCfujrjt6JAPB3Npsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67bRON2/xhgRfzUJnB7Loc0qyN4vumADFLuM/e+DBaKdoXCE9D0Z?= =?us-ascii?q?1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5y?= =?us-ascii?q?O/inUtWK15f/4f2095zIaAFPnzexKfMudFTl5TnW49QQjYp5IaI20RbF52FFcO?= =?us-ascii?q?VOxG5uOUnBzEXS/MC1qbti8C3Tv8UE/t9NS+2ueqU7RLFcSjEvIm0vzMDzux2F?= =?us-ascii?q?RgvZtShUaXkfjhcdW1uN1xr9RJqk7nP3?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DECQB9fi1Yh9vgsoBeHgYMGQYMgkhEA?= =?us-ascii?q?QEBAQGBdwenJAGJQ4MmghKFEIJrhVIHQxABAQEBAQEBAQEBARIBAQEKCwkJHS8?= =?us-ascii?q?BgjMKgiMhCwZFNzcCJBIBBQEoAQwIDA6FUIJ6nWCCCYEyPzKLUIIpjBKMU4JeE?= =?us-ascii?q?QGDIBGCTAWaQpBqaYEHhHaJPoYihy2CSBMegRI1fUsMASuCegSBaXGFeYItAQE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0DECQB9fi1Yh9vgsoBeHgYMGQYMgkhEAQEBAQGBdwenJAG?= =?us-ascii?q?JQ4MmghKFEIJrhVIHQxABAQEBAQEBAQEBARIBAQEKCwkJHS8BgjMKgiMhCwZFN?= =?us-ascii?q?zcCJBIBBQEoAQwIDA6FUIJ6nWCCCYEyPzKLUIIpjBKMU4JeEQGDIBGCTAWaQpB?= =?us-ascii?q?qaYEHhHaJPoYihy2CSBMegRI1fUsMASuCegSBaXGFeYItAQEB?= X-IronPort-AV: E=Sophos;i="5.31,653,1473112800"; d="scan'208,217";a="245399255" Received: from smtp4.epfl.ch ([128.178.224.219]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Nov 2016 10:58:54 +0100 Received: (qmail 31379 invoked by uid 107); 17 Nov 2016 09:58:47 -0000 X-Virus-Scanned: ClamAV Received: from mail-wm0-f42.google.com (HELO mail-wm0-f42.google.com) (74.125.82.42) (TLS, DHE-RSA-AES256-SHA cipher) (authenticated) by mail.epfl.ch (AngelmatoPhylax SMTP proxy) with ESMTPSA; Thu, 17 Nov 2016 10:58:47 +0100 Received: by mail-wm0-f42.google.com with SMTP id g23so299616654wme.1 for ; Thu, 17 Nov 2016 01:58:47 -0800 (PST) X-Gm-Message-State: ABUngvdIb733a+Vzv/E0yhCwJVNxf4VHSiwNS2WQuqAN4/dYM2wzPb7K41TzaL/hcc9hztqZL2bg0eG77oQNOg== X-Received: by 10.28.49.193 with SMTP id x184mr2940050wmx.44.1479376726560; Thu, 17 Nov 2016 01:58:46 -0800 (PST) MIME-Version: 1.0 Received: by 10.28.11.79 with HTTP; Thu, 17 Nov 2016 01:58:25 -0800 (PST) From: =?UTF-8?Q?Mika=C3=ABl_Mayer?= Date: Thu, 17 Nov 2016 10:58:25 +0100 X-Gmail-Original-Message-ID: Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary=001a1142348a46a84005417c3cc7 X-Validation-by: mikael.mayer@epfl.ch Subject: [Caml-list] CAV 2017 Call for Workshop proposals --001a1142348a46a84005417c3cc7 Content-Type: text/plain; charset=UTF-8 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@mpi-sws.org --001a1142348a46a84005417c3cc7 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
CALL=C2=A0FOR WORKSHOP P= ROPOSALS

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

The 2017 Computer-Aided Verification (CAV)=C2=A0Workshops=C2=A0provide=C2=A0an opportunity
for participants to discuss topics in the broader=C2=A0verification related domains.
CAV 2017=C2=A0Workshops=C2=A0will be held before the main conference on= July 22nd
and 23rd.

Workshop proposals will be review= ed by the Workshop chair along with the
program chairs=C2=A0and members of the steering committee. Proposals must= consist
of t= he=C2=A0following two parts:=

Part I: Technical Information

A short (about 1 page) scientific justification of the proposed topic, i= ts=C2=A0
sign= ificance and relevance to CAV, and the particular benefits of the
workshop=C2=A0<= span style=3D"font-size:12.8px">to the verification community, as well as a= list of previous or related
workshops=C2=A0(if relevant).
=
Part II: Or= ganizational Information

Contact information of t= he workshop organizers.
Identifying a main contact for the workshop (i.e. a work= shop chair).
The desired length of the workshop, (one or two days).
Estimate of the a= udience size.
Proposed format and agenda (for example, demo sessions, tutorials,= etc.)
Potential invited speakers.
Procedures for selecting papers and participants.<= /span>
Plans= for dissemination, if any (for example, special issues of journals).
Special te= chnical, AV, or USB stick needs.
Links to a preliminary website of the workshop = and=C2=A0call=C2=A0for 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 Decembe= r 8th, 2016.

The workshop proposals will be revie= wed and evaluated on the following
criteria:

Potential= to advance state of the art in verification technologies,
especially ability t= o break new ground.
Relevance to CAV.
Overlap of topics with other proposed=C2=A0workshops.
Past-successes of the workshop and association wi= th previous CAV=C2=A0conferences.
Organi= zers' ability and experience to lead a successful workshop.

All accepted=C2=A0workshops=C2=A0wil= l be asked to provide a webpage,=C2=A0call
for papers, and list of invited speakers.
The workshop par= ticipants will be required to register for the workshop
through the CAV main reg= istration page.

The registration rates for=C2=A0<= /span>workshops<= span style=3D"font-size:12.8px">=C2=A0will be set by CAV organizers in
consultat= ion with the=C2=A0workshop organize= rs, following rate structures similar to
(but not the=C2=A0same as)=C2=A0those foll= owed in the past. The workshop organizers are
= strongly=C2=A0encouraged to seek external=C2=A0funding and sponsorships.
For further e= nquiries or information, please contact:

Eva Daru= lova (CAV 2017 Workshop Chair)
Max Planck Institute for Software Systems<= br style=3D"font-size:12.8px">email:=C2=A0= eva@mp= i-sws.org
--001a1142348a46a84005417c3cc7--