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 349CF7FF50 for ; Thu, 28 Jul 2016 12:52:53 +0200 (CEST) IronPort-PHdr: 9a23:/QywLx9UJu/1J/9uRHKM819IXTAuvvDOBiVQ1KB80OMcTK2v8tzYMVDF4r011RmSDN2dta0P0bqempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EkfqKrRcWI34ye7KObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vru/5xpNo8jxRtvQ97IYAFPyiJ+VrBYBfWSg3K20uocTtsx7eSwCCzn8dSXkN1AFFChOD8Qn3WJG3vyfn8qJ20SyeeMn3VqwcWDK47q4tRgWswCcOLD009GX/isVrj69fpFSmvRM7i4HYesSUMdJxcrmYfNZcS3AScNxWUnlqApm9dJcIF+oMddxRoYf0o18P5U+kDAeiDefryxdVgH7omLYzzeMgHEfIxlpzTJo1rH3IoYCtZ+8pWuevwfyNlG2bYg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=raffalli@univ-savoie.fr; spf=PermError smtp.mailfrom=christophe@raffalli.eu; spf=None smtp.helo=postmaster@mailler06.lws-hosting.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of raffalli@univ-savoie.fr) identity=pra; client-ip=80.248.217.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="raffalli@univ-savoie.fr"; x-conformance=sidf_compatible Received-SPF: PermError (mail2-smtp-roc.national.inria.fr: cannot correctly interpret sender authenticity information from domain of christophe@raffalli.eu) identity=mailfrom; client-ip=80.248.217.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; 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@mailler06.lws-hosting.com) identity=helo; client-ip=80.248.217.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="postmaster@mailler06.lws-hosting.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A1BgC44plXXMLZ+FBdDgiDL1Z8tmOEMIc0PBABAQEBAQEBAQUZCwoHGi+CMgQBEgGCNgZFCgcrESECEQUvGxKIMQQKrguNWhcOjDCCY4MlK4IvBZkyXVmEYohbCoI5jQaMLoN4NYFsQ4EvPWwBAYcxgUQBAQE X-IPAS-Result: A0A1BgC44plXXMLZ+FBdDgiDL1Z8tmOEMIc0PBABAQEBAQEBAQUZCwoHGi+CMgQBEgGCNgZFCgcrESECEQUvGxKIMQQKrguNWhcOjDCCY4MlK4IvBZkyXVmEYohbCoI5jQaMLoN4NYFsQ4EvPWwBAYcxgUQBAQE X-IronPort-AV: E=Sophos;i="5.28,433,1464645600"; d="asc'?scan'208";a="228246386" Received: from mailler06.lws-hosting.com ([80.248.217.194]) by mail2-smtp-roc.national.inria.fr with ESMTP; 28 Jul 2016 12:52:52 +0200 Received: from mailler06.lws-hosting.com (ip6-localhost [127.0.0.1]) by filter3.lws (Postfix) with ESMTP id 252AE1D840D1 for ; Thu, 28 Jul 2016 12:52:52 +0200 (CEST) Received: from mailler06.lws-hosting.com (ip6-localhost [127.0.0.1]) by filter2.lws (Postfix) with ESMTP id 09C171D840D2 for ; Thu, 28 Jul 2016 12:52:52 +0200 (CEST) Received: from mailler06.lws-hosting.com (ip6-localhost [127.0.0.1]) by filter1.lws (Postfix) with ESMTP id B2C5A1D840E7 for ; Thu, 28 Jul 2016 12:52:50 +0200 (CEST) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on mailler06.lws-hosting.com X-Spam-Level: **** X-Spam-Virus: No Received: from raffalli.eu (vps29067.lws-hosting.com [192.162.68.177]) by mailler06.lws-hosting.com (Postfix) with ESMTP id 4B3C61D840DB for ; Thu, 28 Jul 2016 12:52:50 +0200 (CEST) Received: from localhost (bin73-1-78-240-16-62.fbx.proxad.net [78.240.16.62]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by raffalli.eu (Postfix) with ESMTPSA id F3C00352067B; Thu, 28 Jul 2016 12:52:49 +0200 (CEST) Date: Thu, 28 Jul 2016 12:52:48 +0200 From: Christophe Raffalli To: types-announce@lists.seas.upenn.edu, caml-list@inria.fr, haskell@haskell.org, gdr-im@gdr-im.fr Cc: Pierre Hyvernat , Rodolphe Lepigre Message-ID: <20160728105248.GF2154@delli7.univ-savoie.fr> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="lIrNkN/7tmsD/ALM" Content-Disposition: inline User-Agent: Mutt/1.6.0 (2016-04-01) Subject: [Caml-list] Call for participation to PLRR 2016 (hosted by CSL) --lIrNkN/7tmsD/ALM Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CALL FOR PARTICIPATION Workshop PLRR 2016 Parametricity, Logical Relations & Realizability September 2, Marseille, France http://lama.univ-savoie.fr/~hyvernat/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) PROGRAM It is available at http://www.lama.univ-smb.fr/plrr2016/program.html REGISTRATION via the main CSL 2016 website: http://csl16.lif.univ-mrs.fr/ VENUE Collocated with CSL 2016, hosted by Aix-Marseille Universit=C3=A9. 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=C3=A9 Savoie Mont Blanc) Rodolphe Lepigre (Universit=C3=A9 Savoie Mont Blanc) Alexandre Miquel (Universidad de la Rep=C3=BAblica, Montevideo) Christophe Raffalli (Universit=C3=A9 Savoie Mont Blanc) Thomas Streicher (Technische Universit=C3=A4t Darmstadt) CONTACT Pierre.Hyvernat@univ-smb.fr =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --lIrNkN/7tmsD/ALM Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAleZ5AAACgkQi9jr/RgYAS46pACfVL9v84ZSumu36CuDY0Wur6+7 d2oAoMBt44wuX9SedfyCYOBKMf65q2Zg =QBGu -----END PGP SIGNATURE----- --lIrNkN/7tmsD/ALM--