From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 6DB547EE99; Thu, 26 Dec 2013 21:05:02 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kenmcmil@microsoft.com) identity=pra; client-ip=207.46.163.186; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kenmcmil@microsoft.com"; x-sender="kenmcmil@microsoft.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kenmcmil@microsoft.com designates 207.46.163.186 as permitted sender) identity=mailfrom; client-ip=207.46.163.186; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kenmcmil@microsoft.com"; x-sender="kenmcmil@microsoft.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@na01-bn1-obe.outbound.protection.outlook.com designates 207.46.163.186 as permitted sender) identity=helo; client-ip=207.46.163.186; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kenmcmil@microsoft.com"; x-sender="postmaster@na01-bn1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQEALOKvFLPLqO6m2dsb2JhbABYgmpQCYocmnyVLoEIDgEBAQEBBgsLCRQogh0PEQELSQIjAYEAJgEXCBqFVIIOAZxBAYNQg1YCikABAZkghgeMGoE5BIkLkDyLLYZ2gW4 X-IPAS-Result: AlQEALOKvFLPLqO6m2dsb2JhbABYgmpQCYocmnyVLoEIDgEBAQEBBgsLCRQogh0PEQELSQIjAYEAJgEXCBqFVIIOAZxBAYNQg1YCikABAZkghgeMGoE5BIkLkDyLLYZ2gW4 X-IronPort-AV: E=Sophos;i="4.95,556,1384297200"; d="scan'208";a="42369941" Received: from mail-bn1blp0186.outbound.protection.outlook.com (HELO na01-bn1-obe.outbound.protection.outlook.com) ([207.46.163.186]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 26 Dec 2013 21:05:00 +0100 Received: from BL2PR03MB450.namprd03.prod.outlook.com (10.141.92.15) by BL2PR03MB513.namprd03.prod.outlook.com (10.141.94.18) with Microsoft SMTP Server (TLS) id 15.0.842.7; Thu, 26 Dec 2013 20:04:56 +0000 Received: from BL2PR03MB450.namprd03.prod.outlook.com ([10.141.92.15]) by BL2PR03MB450.namprd03.prod.outlook.com ([10.141.92.15]) with mapi id 15.00.0842.003; Thu, 26 Dec 2013 20:04:55 +0000 From: Kenneth McMillan Thread-Topic: VMCAI 2014 call for participation Thread-Index: Ac8Cdby7LDQ/BBUyRmG0Zi9gyvi4lQ== Date: Thu, 26 Dec 2013 20:04:53 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [2001:4898:80e0:ed43::2] x-forefront-prvs: 007271867D x-forefront-antispam-report: SFV:NSPM;SFS:(10009001)(199002)(189002)(13624006)(77982001)(83072002)(65816001)(80022001)(19580395003)(81686001)(59766001)(87266001)(15975445006)(79102001)(15202345003)(81342001)(56776001)(85852003)(85306002)(54316002)(81542001)(881003)(80976001)(81816001)(63696002)(74366001)(87936001)(74316001)(46102001)(49866001)(47736001)(50986001)(47976001)(4396001)(74706001)(54356001)(76482001)(74876001)(53806001)(74662001)(83322001)(47446002)(19580405001)(74502001)(33646001)(31966008)(76176001)(76796001)(76786001)(90146001)(56816005)(51856001)(1671002)(69226001)(76576001)(2656002)(3826001)(24736002);DIR:OUT;SFP:1101;SCL:1;SRVR:BL2PR03MB513;H:BL2PR03MB450.namprd03.prod.outlook.com;CLIP:2001:4898:80e0:ed43::2;FPR:;RD:InfoNoRecords;A:1;MX:1;LANG:en; Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: microsoft.com X-Validation-by: kenmcmil@microsoft.com Subject: [Caml-list] VMCAI 2014 call for participation CALL FOR PARTICIPATION -- VMCAI 2014 The 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) will be held January 19--21, 2014, in San Diego, California, co-located with POPL 2014. VMCAI provides a forum for researchers from the communities in deductive verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. This year's program includes 25 regular papers and the following invited speakers: Bor-Yuh Evan Chang, University of Colorado at Boulder, USA Cynthia Dwork, Microsoft Research, USA Prakash Panangaden, McGill University, Canada Thomas Wies, New York University, USA For more information on VMCAI 2014, please refer to the conference web site at http://vmcai2014.di.ens.fr. For registration and travel information, please see the POPL 2014 site at http://popl.mpi-sws.org/2014. Important dates: Early registration deadline: December 31, 2013 For student attendees: If you are a student at a US institution, you may be eligible for travel support to attend VMCAI. Please write to Ken McMillan (kenmcmil@microsoft.com) if you would like to apply. VMCAI is sponsored by Microsoft Research