From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id E11827FA5F for ; Wed, 18 Jan 2017 16:26:26 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mikael.mayer@epfl.ch; spf=Pass smtp.mailfrom=mikael.mayer@epfl.ch; spf=None smtp.helo=postmaster@smtp5.epfl.ch Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mikael.mayer@epfl.ch) identity=pra; client-ip=128.178.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mikael.mayer@epfl.ch"; x-sender="mikael.mayer@epfl.ch"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mikael.mayer@epfl.ch designates 128.178.224.8 as permitted sender) identity=mailfrom; client-ip=128.178.224.8; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp5.epfl.ch) identity=helo; client-ip=128.178.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mikael.mayer@epfl.ch"; x-sender="postmaster@smtp5.epfl.ch"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aq35L0h80yyiN1/9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?0eocTK2v8tzYMVDF4r011RmSDNmdsKMP1LaempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwpFiCCzbL52Ixm7rwrcvdQKjIV/Lao81gHHqWZSde?= =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?= =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhz?= =?us-ascii?q?odNzMh/27Xkcx+g6BVoByvpBJx3pDab52OOfVkYq/QZ8kXSXZdUstTUSFKH4Oy?= =?us-ascii?q?b5EID+oEJetYqoj9p1gUohSgAQmgHubvxSVIh3Dox603yPouERnI3AwkBd4BrH?= =?us-ascii?q?TUodPoP6kcVuC1ybPHzTTFb/5Owjf98onIfgo9rvGLWLJ8acvRxVAzGAzfkFWc?= =?us-ascii?q?s4vlPyma1ugVqWeU9fdgWfiyhG4ksw1xvzyvxsg2hobTmo0Z0EvL+jthzIkpP9?= =?us-ascii?q?K4VlJ0YdmiEJteqS6aLZV5QsU+TG52oio6zacGuZGjcCgPyZQo2wTfa/ucc4iP?= =?us-ascii?q?7BLjSPydLit/hHJgfr+0mhW88VC4x+HhSMW500xGojdHn9TPrHwByQLf58edRv?= =?us-ascii?q?Z+5kutxyqD2gTJ5uxHIU04j7TXJ4Muz7IqmZcesELOFTLslkrslq+ZbEAk9/Co?= =?us-ascii?q?6+v5ZrXmoYeRN5RxigHiKqQjmtazDvogMggAW2iX4/iz1L378U34RrVFkOE2n7?= =?us-ascii?q?HEvJzEJskXvLO1Dg1W34o59RqzETir3M4bkHUfKVJKYhOHj4znO1HUJ/D4CO+y?= =?us-ascii?q?g1GtkDdo3f/JILnhDo/ILnfZkLbuY6x95lVCxworw9Bf44hYBa0BIP7rQE/+qM?= =?us-ascii?q?TYDgMlMwyz2+voFM9y1oYaWW6WBq+ZMbjSsUOT6+I0I+iMYZcVtyznJ/gk4f7u?= =?us-ascii?q?l345lkUHcamnx5tEIEy/S/9vJkHcZXv3nv8AF30Lt0wwVr/EklqHBDtSZH+/W+?= =?us-ascii?q?Q57yA2EqqrFYnHAIut0+/J5zuyApADPjMOMVuLC3q9L4g=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A0AQCoiH9YhwjgsoBdFgYBAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYJESgEBAQEBfoEDBoNRnmmNIYc2KoV4AhWBaEMUAQEBAQEBAQE?= =?us-ascii?q?BAQESAQEBCgsJCh0wghABEwEBAQwZgh4GHQZFIQEVNwICIhIBBQEcOYhjCQWjH?= =?us-ascii?q?T+MA4IliiQBAQEBAQUBAQEBAQEBASCMdYYTgl4FkCWLHIZfiwOBd1GEPYloAoo?= =?us-ascii?q?7hB+CTTKBFA8nWIFwBYQrBIIJVQGGUYIvAQEB?= X-IPAS-Result: =?us-ascii?q?A0A0AQCoiH9YhwjgsoBdFgYBAQQBAQoBARcBAQQBAQoBAYJ?= =?us-ascii?q?ESgEBAQEBfoEDBoNRnmmNIYc2KoV4AhWBaEMUAQEBAQEBAQEBAQESAQEBCgsJC?= =?us-ascii?q?h0wghABEwEBAQwZgh4GHQZFIQEVNwICIhIBBQEcOYhjCQWjHT+MA4IliiQBAQE?= =?us-ascii?q?BAQUBAQEBAQEBASCMdYYTgl4FkCWLHIZfiwOBd1GEPYloAoo7hB+CTTKBFA8nW?= =?us-ascii?q?IFwBYQrBIIJVQGGUYIvAQEB?= X-IronPort-AV: E=Sophos;i="5.33,249,1477954800"; d="scan'208,217";a="209773203" Received: from smtp5.epfl.ch ([128.178.224.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Jan 2017 16:26:26 +0100 Received: (qmail 30857 invoked by uid 107); 18 Jan 2017 15:26:22 -0000 X-Virus-Scanned: ClamAV Received: from mail-it0-f46.google.com (HELO mail-it0-f46.google.com) (209.85.214.46) (TLS, DHE-RSA-AES256-SHA cipher) (authenticated) by mail.epfl.ch (AngelmatoPhylax SMTP proxy) with ESMTPSA; Wed, 18 Jan 2017 16:26:22 +0100 Received: by mail-it0-f46.google.com with SMTP id r185so12981710ita.0 for ; Wed, 18 Jan 2017 07:26:22 -0800 (PST) X-Gm-Message-State: AIkVDXIJtLdw+bCM6RHySmupCSotq9DtVQsjGw78SlUd38hKUGftRW4ksxI8I+GpY0m/h+s+EcUUc/8PStQm5Q== X-Received: by 10.36.153.197 with SMTP id a188mr10699544ite.5.1484753181403; Wed, 18 Jan 2017 07:26:21 -0800 (PST) Received: from 1074892088431 named unknown by gmailapi.google.com with HTTPREST; Wed, 18 Jan 2017 10:26:20 -0500 MIME-Version: 1.0 Sender: mikael.mayer@epfl.ch From: mikael.mayer@epfl.ch In-Reply-To: References: Date: Wed, 18 Jan 2017 10:26:20 -0500 X-Google-Sender-Auth: VGO0mVaSVQB4-GuvfJqmRwXme1Y X-Gmail-Original-Message-ID: Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=94eb2c0895b4f554640546600913 X-Validation-by: mikael.mayer@polytechnique.org Subject: [Caml-list] CAV 2017 Award --94eb2c0895b4f554640546600913 Content-Type: text/plain; charset=UTF-8 CAV Award The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. The award comes with a cash prize of US$10,000 shared equally among recipients. Call for Nominations for the 2016 CAV Award Anyone can submit a nomination. The Award Committee can originate a nomination. Anyone, with the exception of members of the Award Committee, is eligible to receive the Award. A nomination must state clearly the contribution(s), explain why the contribution is fundamental or the series of contributions is outstanding, and be accompanied by supporting letters and other evidence of worthiness. The deadline for nominations for the 2017 award is 10 February 2017. Nominations should include a proposed citation (up to 25 words), a succinct (100-250 words) description of the contribution(s), and a detailed statement to justify the nomination. The cited contribution(s) must have been made not more recently than five years ago and not over twenty years ago. In addition, the contribution(s) should not yet have received recognition via a major award, such as the ACM Turing or Kanellakis Awards. The nominee may have received such an award for other contributions. Nominations should be submitted by e-mail to a member of the committee. For previous winners of the award, please see the main CAV award page http://i-cav.org/cav-award. Award Committee - Tom Ball (Chair), Microsoft Research - Kim G. Larsen , Aalborg University - Natarajan Shankar , SRI International - Pierre Wolper , Liege University cavconference.org/2017/cav-award/ --94eb2c0895b4f554640546600913 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

CAV Award

The CAV award is given annually at the CAV = conference for fundamental contributions to the field of Computer-Aided Ver= ification. The award comes with a cash prize of US$10,000 shared equally am= ong recipients.

Call for Nominations for the 20= 16 CAV Award

Anyone can submit a n= omination. The Award Committee can originate a nomination. Anyone, with the= exception of members of the Award Committee, is eligible to receive the Aw= ard. A nomination must state clearly the contribution(s), explain why the c= ontribution is fundamental or the series of contributions is outstanding, a= nd be accompanied by supporting letters and other evidence of worthiness. T= he deadline for nominations for the 2017 award is 10 February 2017.

Nominations should include a proposed cita= tion (up to 25 words), a succinct (100-250 words) description of the contri= bution(s), and a detailed statement to justify the nomination. The cited co= ntribution(s) must have been made not more recently than five years ago and= not over twenty years ago. In addition, the contribution(s) should not yet= have received recognition via a major award, such as the ACM Turing or Kan= ellakis Awards. The nominee may have received such an award for other contr= ibutions.

Nominations should be sub= mitted by e-mail to a member of the committee.

For previous winners of the award, please see=C2=A0the main CAV= award page=C2=A0http://i-cav.org/ca= v-award.

Award Committee

--94eb2c0895b4f554640546600913--