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 3B5537FA5C for ; Tue, 21 Jun 2016 10:45:27 +0200 (CEST) IronPort-PHdr: 9a23:WvPWWRPJAtUd4Vg4LZ8l6mtUPXoX/o7sNwtQ0KIMzox0Lv74rarrMEGX3/hxlliBBdydsKIVzbuI+Pm7AiQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTmkbHssMSIOE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGBee/nYHF2wQlB1VBQPIxBX7RYvq9DD3v/E7xTGXO8uwQLwpHXyp5qJvDRvpkzsvNjgj8WiRhNY0xKJSuxGsoxhXw4fPY4yRMLx5ZKyZNdwWXy9AW+5eWzYEA4b6YZFcNecZOfdkqNzWp0EPtge5HQmhTNnmxDFBgnv3lfkR0/4gCh3BxAwtWegHvnrdqNH0HLoUUP7w16DWyjTOKf1Mj2TT8o/NJzshu/CXQbVocceZ80AhGQrBilTY/aflJTKOyuMVs2Xd1eNuW+urj28PtgdwvH20z9kri4SPiJhDmQOMzjlw3ItgfY7wc0V8e9PxVcII7yw= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=caml-list-request@inria.fr; spf=Pass smtp.mailfrom=raffalli@univ-savoie.fr; spf=None smtp.helo=postmaster@dsi-mta-out.univ-savoie.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of caml-list-request@inria.fr) identity=pra; client-ip=193.48.126.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raffalli@univ-savoie.fr"; x-sender="caml-list-request@inria.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of raffalli@univ-savoie.fr designates 193.48.126.73 as permitted sender) identity=mailfrom; client-ip=193.48.126.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raffalli@univ-savoie.fr"; x-sender="raffalli@univ-savoie.fr"; 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@dsi-mta-out.univ-savoie.fr) identity=helo; client-ip=193.48.126.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raffalli@univ-savoie.fr"; x-sender="postmaster@dsi-mta-out.univ-savoie.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DxAQCU/WhXh0l+MMFdDoN5DX0BqACQZ4QgC4cpPBABAQEBAQEBAREBAQEKCwkJIS+CMYI+BjAVCgcRGhEaBwIRBUoSiDQKqDmIAoYkikMXDoYnhgaCY4JtCy0TgkcFmHmGCIgagkGMbIgNh2kCNYIlNXo9bAGJA4FEAQEB X-IPAS-Result: A0DxAQCU/WhXh0l+MMFdDoN5DX0BqACQZ4QgC4cpPBABAQEBAQEBAREBAQEKCwkJIS+CMYI+BjAVCgcRGhEaBwIRBUoSiDQKqDmIAoYkikMXDoYnhgaCY4JtCy0TgkcFmHmGCIgagkGMbIgNh2kCNYIlNXo9bAGJA4FEAQEB X-IronPort-AV: E=Sophos;i="5.26,502,1459807200"; d="asc'?scan'208";a="223242155" Received: from dsi-mta-out.univ-savoie.fr ([193.48.126.73]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Jun 2016 10:45:25 +0200 Received: from localhost (localhost [127.0.0.1]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id C8C52422D4; Tue, 21 Jun 2016 10:45:25 +0200 (CEST) Received: from dsi-mta-out.univ-savoie.fr ([127.0.0.1]) by localhost (dsi-mta-out.univ-savoie.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id pvjSnqwmnEIs; Tue, 21 Jun 2016 10:45:25 +0200 (CEST) Received: from dsi-mail-msa1.univ-savoie.fr (dsi-mail-msa1.univ-savoie.fr [193.48.126.83]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id B5297422CF; Tue, 21 Jun 2016 10:45:25 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTP id B4661140A6; Tue, 21 Jun 2016 10:45:25 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at dsi-mail-msa1.univ-savoie.fr Received: from dsi-mail-msa1.univ-savoie.fr ([127.0.0.1]) by localhost (dsi-mail-msa1.univ-savoie.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 6jfh6Iivtvny; Tue, 21 Jun 2016 10:45:25 +0200 (CEST) Received: from localhost (d45.lama.univ-savoie.fr [193.48.123.45]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTPSA id 959D71409F; Tue, 21 Jun 2016 10:45:25 +0200 (CEST) Date: Tue, 21 Jun 2016 10:45:25 +0200 From: Christophe Raffalli Sender: caml-list-request@inria.fr To: types-announce@lists.seas.upenn.edu, caml-list@inria.fr, haskell@haskell.org, gdr-im@gdr-im.fr Cc: Pierre Hyvernat Message-ID: <20160621084525.GV32059@d45.lama.univ-savoie.fr> Reply-To: Christophe Raffalli MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="2DJuma0xDHN2clgl" Content-Disposition: inline User-Agent: Mutt/1.5.23 (2014-03-12) X-Validation-by: christophe.raffalli@univ-savoie.fr Subject: [Caml-list] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), EXTENDED DEADLINE --2DJuma0xDHN2clgl Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable LAST CALL FOR CONTRIBUTIONS EXTENDED DEADLINE Workshop PLRR 2016 Parametricity, Logical Relations & Realizability September 2, Marseille, France http://lama.univ-savoie.fr/plrr2016 Satellite workshop - CSL 2016 http://csl16.lif.univ-mrs.fr/ BACKGROUND The workshop PLRR 2016 aims at presenting recent work on parametricity, logical relations and realizability, and encourage interaction between those communities. The areas of interest include, but are not limited to: * Kleene's intuitionistic realizability, * Krivine's classical realizability, * other extensions of the Curry-Howard correspondence, * links between forcing and the Curry-Howard correspondence, * parametricity, * logical relations, * categorical models, * applications to programming languages. INVITED SPEAKERS Neil Ghani (University of Strathclyde) Nick Benton (Microsoft Research, Cambridge) CONTRIBUTED TALKS We solicit contributed talks based on extended abstracts of 2 pages. Submission are handled by easychair: https://easychair.org/conferences/?conf=3Dplrr2016 IMPORTANT DATES Submission of abstracts: June 15, 2016 (EXTENDED TO JULY 1, 2016) Notification of acceptance: July 15, 2016 REGISTRATION via the main CSL 2016 website: http://csl16.lif.univ-mrs.fr/ VENUE Collocated with CSL 2016, hosted by Aix-Marseille Universit=EF=BF=BD. Both = the main conference and its satellite workshops will be held in the city center campus of the Faculty of Science (Central Building). SCIENTIFIC COMMITTEE Pierre Hyvernat (Universit=EF=BF=BD Savoie Mont Blanc) Rodolphe Lepigre (Universit=EF=BF=BD Savoie Mont Blanc) Alexandre Miquel (Universidad de la Rep=EF=BF=BDblica, Montevideo) Christophe Raffalli (Universit=EF=BF=BD Savoie Mont Blanc) Thomas Streicher (Technische Universit=EF=BF=BDt Darmstadt) CONTACT Pierre.Hyvernat@univ-smb.fr --2DJuma0xDHN2clgl Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAldo/qUACgkQi9jr/RgYAS6aKACcCu3qo7EcN7QPWrPBDQx7tzZW KSQAn0MZSxiYT1BekvBGSgHOzSpeejFg =d0z1 -----END PGP SIGNATURE----- --2DJuma0xDHN2clgl--