From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 74EA5BBAF for ; Wed, 29 Sep 2010 14:07:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvcaAA/IokyAu1AdgWdsb2JhbAAvgS6SPAGOGQEBFiIixhWFRASFI4UX X-IronPort-AV: E=Sophos;i="4.57,252,1283724000"; d="scan'208";a="59457472" Received: from shredder.cs.byu.edu (HELO mail.cs.byu.edu) ([128.187.80.29]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 29 Sep 2010 14:07:00 +0200 Received: from wow.ndc.nasa.gov (wow.ndc.nasa.gov [143.232.64.129]) by mail.cs.byu.edu (Postfix) with ESMTP id 2078127D80BA for ; Wed, 29 Sep 2010 06:06:41 -0600 (MDT) From: Neha Rungta To: caml-list@inria.fr Date: Wed Sep 29 05:06:57 2010 Subject: [CAV 2011] Call for Workshop Proposals Message-Id: <20100929120641.2078127D80BA@mail.cs.byu.edu> X-Spam-Report: * 1.1 INVALID_DATE Invalid Date: header (not RFC 2822) * 1.0 DATE_IN_PAST_12_24 Date: is 12 to 24 hours before Received: date * 1.1 UNPARSEABLE_RELAY Informational: message has unparseable relay lines X-Spam-Level: *** X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on mail.cs.byu.edu X-Spam: no; 0.00; cav:01 co-located:01 cav:01 20,:98 cliff:98 15.:98 enquiries:98 overlap:01 short:01 steering:01 structures:02 external:03 preliminary:03 tutorials:03 center:95 Please consider organizing a workshop to be co-located with CAV 2011 in Snowbird Utah. The details for the proposals are attached below in the call for workshop proposals. Previous CAV editions have had successful workshops associated with them and we hope to carry forth the tradition with CAV 2011. Neha Rungta (CAV Workshops Chair) *** apologies for multiple postings *** ------------------------------------------------------------------------ 23rd International Conference on Computer Aided Verification CAV 2011 July 14-20, Cliff Lodge, Snowbird, Utah Call for Workshop Proposals The 2011 Computer-Aided Verification (CAV) Workshops provides an oppurtunity for participants to discuss topics in the broader verification related domains. CAV 2011 Workshops will be held before the main conference on July 14 and 15. 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 Oct 15th, 2010 by email to the Workshop chair. Organizers will be notified by Oct 31st, 2010. 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: Neha Rungta (CAV Workshop Chair) NASA Ames Research Center, Moffett Field, CA, USA email: neha.s.rungta@nasa.gov http://ti.arc.nasa.gov/profile/nrungta/ -------------------------------------------------------------------------