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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4D0757EE25 for ; Wed, 20 Nov 2013 17:24:03 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bart.jacobs@cs.kuleuven.be) identity=pra; client-ip=134.58.40.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bart.jacobs@cs.kuleuven.be"; x-sender="bart.jacobs@cs.kuleuven.be"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of bart.jacobs@cs.kuleuven.be designates 134.58.40.3 as permitted sender) identity=mailfrom; client-ip=134.58.40.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bart.jacobs@cs.kuleuven.be"; x-sender="bart.jacobs@cs.kuleuven.be"; 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@hermes4.cs.kuleuven.be) identity=helo; client-ip=134.58.40.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bart.jacobs@cs.kuleuven.be"; x-sender="postmaster@hermes4.cs.kuleuven.be"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjICAPrgjFKGOigDnGdsb2JhbAA/GhaCUFm+aIFkFg4BAQEBAQgUCTyCWAYBBUAsBA0WGAMCAQIBTAwIAQGHfQEMNsApjgCGEAOeUY53 X-IPAS-Result: AjICAPrgjFKGOigDnGdsb2JhbAA/GhaCUFm+aIFkFg4BAQEBAQgUCTyCWAYBBUAsBA0WGAMCAQIBTAwIAQGHfQEMNsApjgCGEAOeUY53 X-IronPort-AV: E=Sophos;i="4.93,738,1378850400"; d="scan'208";a="44156393" Received: from hermes4.cs.kuleuven.be ([134.58.40.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Nov 2013 17:24:02 +0100 Received: from hermes4.cs.kuleuven.be. (localhost [127.0.0.1]) by hermes4.cs.kuleuven.be. with ESMTP id rAKGO1x3025791 for ; Wed, 20 Nov 2013 17:24:02 +0100 Received: (from defang@localhost) by hermes4.cs.kuleuven.be. (8.14.4/8.14.4/Submit) id rAKGMjTQ025721 for ; Wed, 20 Nov 2013 17:22:45 +0100 X-Authentication-Warning: hermes4.cs.kuleuven.be.: defang set sender to using -f Received: from dr-zook.cs.kuleuven.be. (dr-zook.cs.kuleuven.be [2a02:2c40:0:a005::126]) by mailrelay.cs.kuleuven.be (envelope-sender ) (MIMEDefang) with ESMTP id rAKGMi23025715; Wed, 20 Nov 2013 17:22:45 +0100 Received: from localhost (localhost [127.0.0.1]) by dr-zook.cs.kuleuven.be. (8.14.4/8.14.4/Debian-2ubuntu2) with ESMTP id rAKGLtmZ009780; Wed, 20 Nov 2013 17:22:44 +0100 X-Virus-Scanned: Debian amavisd-new at dr-zook.cs.kuleuven.be Received: from dr-zook.cs.kuleuven.be. ([127.0.0.1]) by localhost (dr-zook.cs.kuleuven.be [127.0.0.1]) (amavisd-new, port 10024) with LMTP id Pfte1iGZdkTm; Wed, 20 Nov 2013 17:22:22 +0100 (CET) Received: from bos.cs.kuleuven.be. (bos.cs.kuleuven.be [IPv6:2a02:2c40:0:a000::123]) by dr-zook.cs.kuleuven.be. (8.14.4/8.14.4/Debian-2ubuntu2) with ESMTP id rAKGKubC009202 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Wed, 20 Nov 2013 17:20:56 +0100 Received: from [134.58.39.68] (caillou.cs.kuleuven.be [134.58.39.68]) (authenticated bits=0) by bos.cs.kuleuven.be. (A_Good_MTA/8.14.3/Debian-9.1ubuntu1) with ESMTP id rAKGKtgv011503 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Wed, 20 Nov 2013 17:20:56 +0100 Message-ID: <528CE166.4010106@cs.kuleuven.be> Date: Wed, 20 Nov 2013 17:20:54 +0100 From: Bart Jacobs User-Agent: Mozilla/5.0 (Windows NT 6.0; rv:17.0) Gecko/20130801 Thunderbird/17.0.8 MIME-Version: 1.0 To: pvs@csl.sri.com, twelf-list@itu.dk, caml-list@yquem.inria.fr, smlnj-dev-list@lists.sourceforge.net, MLton-user@mlton.org, jmlspecs-interest@lists.sourceforge.net, ecoop-info@ecoop.org Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm X-Scanned-By: MIMEDefang 2.71 on 127.0.1.1 X-Validation-by: bart.jacobs@cs.kuleuven.be Subject: [Caml-list] CFPar: PLPV 2014, Programming Languages meets Program Verification You are cordially invited to participate in the Eighth ACM SIGPLAN Workshop on Programming Languages meets Program Verification Date: 21 January 2014 Location: San Diego, in conjunction with POPL 2014 Program : http://www.cse.chalmers.se/~nad/plpv-2014/ Invited talks: - Ranjit Jhala on Liquid Types for Haskell. - Lee Pike on Programming Languages for High-Assurance Autonomous Vehicles. Contributed talks: - Verified Programs with Binders. By Martin Clochard, Claude Marché and Andrei Paskevich. - Formalizing a Correctness Property of a Type-Directed Partial Evaluator. By Noriko Hirota and Kenichi Asai. - An Abstract Categorical Semantics for Functional Reactive Programming with Processes. By Wolfgang Jeltsch. - Substructural Typestates. By Filipe Militao, Jonathan Aldrich and Luis Caires. - The Recursive Polarized Dual Calculus. By Aaron Stump. Register at: https://regmaster3.com/2014conf/POPL14/register.php Early registration closes 31 December 2012! Best regards, Nils Anders Danielsson and Bart Jacobs Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm