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 1298D7F615 for ; Thu, 8 Dec 2016 22:11:45 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gallego@cri.ensmp.fr; spf=None smtp.mailfrom=gallego@cri.ensmp.fr; spf=None smtp.helo=postmaster@cc-tupan-roaming-a.ensmp.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gallego@cri.ensmp.fr) identity=pra; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gallego@cri.ensmp.fr"; x-sender="gallego@cri.ensmp.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gallego@cri.ensmp.fr) identity=mailfrom; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gallego@cri.ensmp.fr"; x-sender="gallego@cri.ensmp.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@cc-tupan-roaming-a.ensmp.fr) identity=helo; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gallego@cri.ensmp.fr"; x-sender="postmaster@cc-tupan-roaming-a.ensmp.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AXKO1qhz+O7u702LXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+8XIJqq85mqBkHD//Il1AaPBtSAra8YwLSJ+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFGiTanYb5/Ixq6oATTu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8qFmQwLqhi?= =?us-ascii?q?gaLT406GHZhNJtgqxVoxyuqRNwzJLPbYGJKPZzZL/Rcc8ASGdDWMtaSixPApm7?= =?us-ascii?q?b4sKF+cPMuNYr4j5p1sPqhuxHQ2iC/30yidSnX/5xaw03P4lEQHCwgMgENUOv2?= =?us-ascii?q?zIodXvNacdS/u1x7TPwDXMdfxW3TP955bHchAmuvyDQahwccvLxUYxEQPFlVCQ?= =?us-ascii?q?qZT/MzObzOQAqm6W5PduW+Kojm4osQBxoj63y8c3i4nJiZoVylTe+iV/2oo1Is?= =?us-ascii?q?e4SEFjbd6+DpRQrD+VOJFsQsw+Q2Foojw2yrocuZ60eiUB1ZcpxwbHZvCad4WF?= =?us-ascii?q?7QjvWPiMLTp3nn5pZbKyihWo/US9xODxVNG43VVLoyZfk9TBtGoB2hjJ5sWJSP?= =?us-ascii?q?Zw+Fqq1yyV2ADJ8O5EJFg5larFJJ4lxb49joYcvljaEi/qhUX2lLWZdkM99uiy?= =?us-ascii?q?7OToeLDmpp6aN497kw3xKL4ildK5AeQjNwgOR3KX+eqm1LH7/E35RqtFjuEun6?= =?us-ascii?q?XEtJ3XKt4XqrCkDwJayIov9hayAjS83NgFk3QKLkpJeBedgIjoP1HOLur4DfC6?= =?us-ascii?q?g1m0nzdk3fTGPrn/DZXCKXjOi6vufax860JG1gUzy8tf55dMCr0bLvLzQFf9tM?= =?us-ascii?q?bEAR8hLwy03+HnBc1h2YwEXGKPBraVMKfTsV+T+uIiOPKMZY8QuDblMfcp/f/u?= =?us-ascii?q?jXkjmV8cZ6alx5UXaGrrVshhdk6QZH6phtYaDU8LuBA/Rarkkg6sSzlWMlu3Xq?= =?us-ascii?q?Y94QYZBZk0FrDsT4SpjbOG6w6hH5RNLjRJA1SIHHjvX46eWrEBbjmXOolviGpX?= =?us-ascii?q?BvCaV4Y92ET250fBwL19I7+M9w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DzAADZy0lYfYme1sJdHAEXAQYBDBgHg?= =?us-ascii?q?wABAQEBAXmBB7tmKYg3EAEBAQEBAQEBAQEBEgEBCxQJTYIzGIJBgRg0AQSJSwq?= =?us-ascii?q?XO5Ini1+MVoNXggALgwoFmmplhWqMLGeNfo4IhA42gRgTDoMLDAGCP4oKAQEB?= X-IPAS-Result: =?us-ascii?q?A0DzAADZy0lYfYme1sJdHAEXAQYBDBgHgwABAQEBAXmBB7t?= =?us-ascii?q?mKYg3EAEBAQEBAQEBAQEBEgEBCxQJTYIzGIJBgRg0AQSJSwqXO5Ini1+MVoNXg?= =?us-ascii?q?gALgwoFmmplhWqMLGeNfo4IhA42gRgTDoMLDAGCP4oKAQEB?= X-IronPort-AV: E=Sophos;i="5.33,321,1477954800"; d="scan'208";a="203455564" Received: from jiboia.ensmp.fr (HELO cc-tupan-roaming-a.ensmp.fr) ([194.214.158.137]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Dec 2016 22:11:44 +0100 Received: from rochefort (37.9.67.86.rev.sfr.net [86.67.9.37]) (authenticated bits=0) by cc-tupan-roaming-a.ensmp.fr (8.15.2/8.15.1/JMMC-22/Oct/2013) with ESMTPSA id uB8LBhBN031206 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for ; Thu, 8 Dec 2016 22:11:43 +0100 From: =?utf-8?Q?Emilio_Jes=C3=BAs_Gallego_Arias?= To: caml-list@inria.fr Date: Thu, 08 Dec 2016 22:11:42 +0100 Message-ID: <87oa0mazxt.fsf@x80.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Miltered: at cc-tupan-roaming-a.ensmp.fr with ID 5849CC8F.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Auth: USER-ID emilio.gallego_arias X-j-chkmail-Enveloppe: 5849CC8F.000 from 37.9.67.86.rev.sfr.net/37.9.67.86.rev.sfr.net/86.67.9.37/rochefort/ X-Validation-by: gallego@cri.ensmp.fr Subject: [Caml-list] CoqPL 2017: Call for Participation [registration is open] The 3rd International Workshop on Coq for Programming Languages Associated to POPL 2017 The CoqPL workshop provides an opportunity for programming languages researchers to meet and interact with one another and members from the core Coq development team. Important dates: - early registration deadline: December 17, 2016 - workshop: January 21, 2017 Important links: - Program URL: http://conf.researchr.org/track/CoqPL-2017/main#program - Registration URL: http://popl17.sigplan.org/attending/registration