From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8727 Path: news.gmane.org!not-for-mail From: Roopsha Samanta Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.petri-nets Subject: Call for CAV Workshop Proposals: July 17-18, 2016 Toronto, Canada Date: Mon, 2 Nov 2015 12:35:19 +0100 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============0823648472742004101==" X-Trace: ger.gmane.org 1446542760 14523 80.91.229.3 (3 Nov 2015 09:26:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 3 Nov 2015 09:26:00 +0000 (UTC) To: all-ZTXTTVQmh+NpF8Fk/HG8vA@public.gmane.org, ALP-sj+a0yUkqFeFYMF2HJawZg@public.gmane.org, announcements-xIg/pKzrS1+z+1QnA0p122WpMmwukr/P2LY78lusg7I@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, easst-members-0Lw5bexNw1wqIlM9+NIdVS5tBLDd1YuL@public.gmane.org, events-UYyDbajZw9Ng9hUCZPvPmw@public.gmane.org, fmindia-JAs4fLK2nhr/PtFMR13I2A@public.gmane.org, lics-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org, lics-7WuBAv+fczB6pNU0rN5m7D1eg9KuzsSG@public.gmane.org, lnv-G7wE2RHCdwNeoWH0uzbU5w@public.gmane.org, security-vWCY0m3ESXPYtjvyW6yDsg@public.gmane.org, theorem-provers-iSp611qFfoI3uPMLIKxrzw@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP@public.gmane.org, appsem-bvfaE1kav+4XOLVLeuLo0qTdHet3F+8AWV23jfQ1LcY@public.gmane.org, bull-i3-KCLWzrSfvcA@public.gmane.org, ec-digest-l-/w26Bj3dx6bQjUSlxSEPGw@public.gmane.org, ecoop-info-khN00PUlwG3YtjvyW6yDsg@public.gmane.org, emo-list-JoWug7O7JtJeoWH0uzbU5w@public.gmane.org, fmics-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org, games-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org, ipalist-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, nvti-list-rh8NL+sEX9E@public.gmane.org, nwpt-info-9jONkmmOlFFJyyPhQCpnVw@public.gmane.org, papm-jNDFPZUTrfRp3KkYoAkZooXGvZO2VSpW@public.gmane.org, petrinet-jNDFPZUTrfQBEfOqpokbeYV0Y/DQsy6Ps0AfqQuZ5sE@public.gmane.org, relmics-l-xc3H/SjimlosA/PxXw9srA@public.gmane.org, rv-Tmj1lob9twqVc3sceRu5cw@public.gmane.org, SECURITY-0lvw86wZMd+RR2NcmR3xCrhRpxC2L7B0@public.gmane.org, sma-/zGXu1G9BXs@public.gmane.org, synalp-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org, theorynt-JX7+OpRa80RAtAYDKi7u6De48wsgrGvP@public.gmane.org Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Tue Nov 03 10:25:46 2015 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZtXqT-0004uy-Bn; Tue, 03 Nov 2015 10:25:37 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (LOCALHOST.UPENN.EDU [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id tA3908ft023782; Tue, 3 Nov 2015 04:00:26 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from sympathy.seas.upenn.edu (sympathy.seas.upenn.edu [158.130.69.34]) by RHIZOME.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id tA2BZYI4026952 for ; Mon, 2 Nov 2015 06:35:34 -0500 Original-Received: from mail-io0-f179.google.com (mail-io0-f179.google.com [209.85.223.179]) by sympathy.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id tA2BZOI8032396 for ; Mon, 2 Nov 2015 06:35:33 -0500 Original-Received: by iody8 with SMTP id y8so140175000iod.1 for ; Mon, 02 Nov 2015 03:35:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=utexas_edu.20150623.gappssmtp.com; s=20150623; h=mime-version:date:message-id:subject:from:to:content-type; bh=7zy0Q+EAqzV379on4PNvUHjY4X7kZWEciPXkrnkVb2g=; b=Otb0BCJMKUr9BYo3HWvEZx/0EMqrNzkmvJRQ76GXxlomporQQ9jVj0ZF6eVMzjtAPf Yp+j7NUE3ccs3jF9vaCp6hdEx/BdcKg3k+lLVKogDZl0d+Af8EFhYJ/vLwau8LlVL2IL qInNW+Zo/ZNK+5B1GFhvhwn1iXLShTBrRy/pdzNowl6pKTvlVBxLnWDv7l7/I3psXXI3 ESHormKbCExLytRVPY7PD4Zp4CBfbFLUBLzTHvFyEKVEf6ftHGmjzgyHmv2cP4GwsUmo 48ECgqkWtvFZkXZkEDH10vTDnnFL9TeXiZ2VTHTMarZ75OvRJ83tBsBLKwkZS8oQhg+4 gmAQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=7zy0Q+EAqzV379on4PNvUHjY4X7kZWEciPXkrnkVb2g=; b=TBvBKxVjka3D4TnfQMu+dZdSrl2YKJnV3D+ByGCSdzVDMrx3QEtQQH2G8Lp942FtUD vxR/My3UbfxLakts6uS+e5svzJ27top6aC0g6C/CrYnqG2hguNpqzy2Fi3TrASDePC1a 3P3XCC5oNEcWgTzjsL182ZUdd0VVbw8SuCwTejKgmKkshyqGeN/qJZglp6XXHpAjoNwF RRT5AY+FbapTpLKWw8mwjKcEii5iCiC0g4p0iWy74tVS40eRCid7G2HAXFXmezPuffCE M7rOjfC2wZ1UU7YTs7Te5dElHuSPWzV0yN61rTB2w5ti5RQ2v6uzbJCR3wSe3eCakAKJ 446A== X-Gm-Message-State: ALoCoQlm7yWOyT5VQoojY2YQ1ls0xvoHOmlQ7hgm4qWSgyymzDrcYg0mlTg3LULXjIjfJRyHOJVk X-Received: by 10.107.129.141 with SMTP id l13mr20807150ioi.59.1446464119252; Mon, 02 Nov 2015 03:35:19 -0800 (PST) Original-Received: by 10.50.246.4 with HTTP; Mon, 2 Nov 2015 03:35:19 -0800 (PST) X-Proofpoint-Virus-Version: vendor=nai engine=5400 definitions=5800 signatures=585085 X-Spam-Level: X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 ipscore=0 suspectscore=2 phishscore=0 bulkscore=1 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=7.0.1-1111160001 definitions=main-1511020209 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Tue, 03 Nov 2015 04:00:07 -0500 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:5606 gmane.science.mathematics.categories:8727 gmane.science.mathematics.petri-nets:4712 Archived-At: --===============0823648472742004101== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============0823648472742004101== Content-Type: multipart/alternative; boundary=001a113f96be0243c305238d2c6f --001a113f96be0243c305238d2c6f Content-Type: text/plain; charset=UTF-8 Apologies for multiple copies. ***** CALL FOR WORKSHOP PROPOSALS ******* 28th International Conference on Computer Aided Verification CAV 2016 July 17-23, Toronto, Ontario, Canada Call for Workshop Proposals The 2016 Computer-Aided Verification (CAV) Workshops provides an opportunity for participants to discuss topics in the broader verification related domains. CAV 2016 Workshops will be held before the main conference on July 17th and 18th. 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 by email to the Workshop chair. Organizers will be notified by December 8th, 2015. 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: Zachary Kincaid (CAV 2016 Workshop Chair) University of Toronto email: zkincaid-26n5VD7DAF28DQQgMKCkupen40jlLrCI@public.gmane.org://www.cs.toronto.edu/~zkincaid --001a113f96be0243c305238d2c6f Content-Type: text/html; charset=UTF-8
Apologies for multiple copies.

 ***** CALL FOR WORKSHOP PROPOSALS *******

  28th International Conference on
    Computer Aided Verification
              CAV 2016
 July 17-23, Toronto, Ontario, Canada


Call for Workshop Proposals

The 2016 Computer-Aided Verification (CAV) Workshops provides an
opportunity for participants to discuss topics in the broader
verification related domains. CAV 2016 Workshops will be held
before the main conference on July 17th and 18th.

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 by email to the Workshop
chair. Organizers will be notified by December 8th, 2015.

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:

Zachary Kincaid (CAV 2016 Workshop Chair)
University of Toronto
email: zkincaid-26n5VD7DAF2Tm46uYYfjYg@public.gmane.org
http://www.cs.toronto.edu/~zkincaid

--001a113f96be0243c305238d2c6f-- --===============0823648472742004101==--