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 D8D82801D9 for ; Tue, 18 Jul 2017 23:35:09 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=icfp.publicity@googlemail.com; spf=Pass smtp.mailfrom=icfp.publicity@googlemail.com; spf=None smtp.helo=postmaster@mail-pg0-f48.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of icfp.publicity@googlemail.com) identity=pra; client-ip=74.125.83.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of icfp.publicity@googlemail.com designates 74.125.83.48 as permitted sender) identity=mailfrom; client-ip=74.125.83.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pg0-f48.google.com) identity=helo; client-ip=74.125.83.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-pg0-f48.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AsVnYfheEhmnHPrDKZdnzlMexlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcSzZh7h7PlgxGXEQZ/co6odzbGH7Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Y75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM3/mHZhNJzgqxGrx2uuxNxzpXIYIGMLvdyYr/Rcc8YSGdHQ81fVzZBAoS5?= =?us-ascii?q?b4YXCeQBPOBYoJTmp1QQrRq1GAyiBP73yjBWnH/9wKo30+U9HgHIxAwsBcoOsG?= =?us-ascii?q?nPo9XxNacdTeG1zLXIzDjYYPNW3jD96IfMch8/pPGDR7Nwcc7LxUYzEAPFi0yd?= =?us-ascii?q?pIr4ND2b0eQNtnKU7+tmVe+3im4otw9xoiCzyccrjInJmpwaykvY9Sljx4Y1P9?= =?us-ascii?q?K4RFZgYd6lH5tQryWaOJFwQs84RGFooik6xqUauZ+1fSgK1IgnyADFa/Cdb4eI?= =?us-ascii?q?5RfjWP6LIThmi3Jlfaiwhw2u8Ue+0O3xWdO430pNripAlNTHq3MD1wTL58WFRf?= =?us-ascii?q?Zx5Fqt1SiP2gzJ6exJL1o4mKXYJpI5xrM9koAfvEvCEyPshUn7g7Oael859uWn?= =?us-ascii?q?6unqZKjtqIWGOI9ukA7+N7wjmsyhDuQ8NQgDR22b9v691L3n5EH5WLpKguEvnq?= =?us-ascii?q?nXv53XJt4XpqG+Aw9S3YYj7wiwAy2639QfmHkLNFNFeBSZgIj1I1zDIv/1Ae2i?= =?us-ascii?q?j1iykDpn3fPLM7P7DpjCLXXPiLLhcqx8605Yxgoz19df55dMB7EAPP3zVFfxuM?= =?us-ascii?q?bADh8kKAO0x+fnB8l81oMCWWOCGaCZMKTVsV+H4uIgPeyMa5UUuDb5MfQq+/nu?= =?us-ascii?q?jXohlV8HYaapxYcXaGy/Hvl+P0qWe3/sgtMYHWcOvwo+V/DqhUaZUT9TYnayR7?= =?us-ascii?q?gz6is6CIKgF4fDR5qijKaP3CehTdVqYTVNA1WIVHPpbJmsWvEWaSvULNUyvCYD?= =?us-ascii?q?UO2FSoktzhy//Czn07d9Zr7V8SMA84r+3tx07OzPhDk98jt7C8mY2mCJCWpzmz?= =?us-ascii?q?VbFHcNwKljrBklmR+42q9ijqkAGA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DPAADRfm5ZfzBTfUpCGhwBAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYQTgRSOC3OPTJcsghEOHoRMhCM/GAEBAQEBAQEBAQEBEgEBCQs?= =?us-ascii?q?LCCYxgjMigmcGHQElAgkBCAMSGAcCJgI2AQUBPRKJfAEDCA0QMqJdP4wKgiaDB?= =?us-ascii?q?gWDXQpADYM+AQEBBwEBAQEBARoCBgkBCHmCHYMGgiiEYIMOgnYMMYJhBZFijVK?= =?us-ascii?q?BaIVig0qJAoJjiDqHEow1hGaCdDOBFR+BQjEBICOFYhuCF1aIUwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DPAADRfm5ZfzBTfUpCGhwBAQQBAQoBARcBAQQBAQoBAYQ?= =?us-ascii?q?TgRSOC3OPTJcsghEOHoRMhCM/GAEBAQEBAQEBAQEBEgEBCQsLCCYxgjMigmcGH?= =?us-ascii?q?QElAgkBCAMSGAcCJgI2AQUBPRKJfAEDCA0QMqJdP4wKgiaDBgWDXQpADYM+AQE?= =?us-ascii?q?BBwEBAQEBARoCBgkBCHmCHYMGgiiEYIMOgnYMMYJhBZFijVKBaIVig0qJAoJji?= =?us-ascii?q?DqHEow1hGaCdDOBFR+BQjEBICOFYhuCF1aIUwEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,378,1496095200"; d="scan'208";a="231968086" Received: from mail-pg0-f48.google.com ([74.125.83.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Jul 2017 23:34:51 +0200 Received: by mail-pg0-f48.google.com with SMTP id u5so19238638pgq.3 for ; Tue, 18 Jul 2017 14:34:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=date:from:to:message-id:subject:mime-version :content-transfer-encoding; bh=Wm2sfXeWKAmCmxb04NhpJ9f5u44y2FO0nZihB/NnB1k=; b=cgzw6POU5xi6NnsRzO2sZVPMfZxHpj72H7c28rPJyKFFyP9lWTPJTAiu3bQvrkX2F6 UUp7xxb8jyPQpswYrcdq1ZmJu2uth9rMFX1vt4l44T2W0fkYey8skFm0jn+wqvRNG3kb YA0wCLSFxfC/Rd+gjF15wBJaFscXEShtxHi4IiHHC9D7IY8nyXZ47qTQcDYOJknb1Dm7 gNxhHm1X+BFrJEDyu3NaV1iwsqoBxoGX4C5J7ftoCyiqivcp7pwtgLFBiU34wTsgLILW cFQAhGaW/7HVDa9gF4X6PPbm+ZjJY9hd9fiEWrYBLLVC85ojqgTZMuC5F+9n4bw9ipq5 jtdg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:message-id:subject:mime-version :content-transfer-encoding; bh=Wm2sfXeWKAmCmxb04NhpJ9f5u44y2FO0nZihB/NnB1k=; b=ACwzuzUL0MaMcLaBgOERnqVGv6Gfb0WvB//RNLfHb7EbbXCDSt3iN/BnR+xuJTRVqT blvJA/B7GIIVIQKvCRw+jh74ILdM3zTc7crAutGohnamthwArel7mJhKNH5gblc3iHQ/ n/Pq8cWNwp/MWInBMRo0BWrvBMP1Ak+YCUJrczbEti3M6l8QYoUnvuHf1mDsva8HaTB3 ttxFDWuOG95whC0Lxv95YJhsgi3iAnG8DZMGFxoacIGjckvI4OAJGgaoQYtgpCQJ7yG9 X6iMGyAx4mO4C0N60IkjkDefQ2a72fPIA2y2QNcMAQvU5xvg84TAGie/1kHRZ6+WbdsK JL8A== X-Gm-Message-State: AIVw111ATOx+9K46WWzcFwSyuIXWFSAByvVMkYh7uZXzIqN/QOlIT2cj D6WfGy5/6mPPqgDUIPY= X-Received: by 10.84.197.69 with SMTP id m63mr3923883pld.109.1500413689476; Tue, 18 Jul 2017 14:34:49 -0700 (PDT) Received: from icfp.publicity (99-46-140-146.lightspeed.sntcca.sbcglobal.net. [99.46.140.146]) by smtp.gmail.com with ESMTPSA id o1sm6645635pgq.10.2017.07.18.14.34.48 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 18 Jul 2017 14:34:49 -0700 (PDT) Date: Tue, 18 Jul 2017 14:33:43 -0700 From: Lindsey Kuper To: caml-list@inria.fr Message-ID: <596e7eb748fc3_602d3fdee4455be8679ee@landin.local.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Participation: ICFP 2017 [ Early registration ends 4 August. ] =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 ICFP 2017 22nd ACM SIGPLAN International Conference on Functional Programming and affiliated events September 3 - September 9, 2017 Oxford, UK http://icfp17.sigplan.org/ =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 ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: ICFP, 2 co-hosted conferences, 1 co-hosted symposium, workshops, tutorials, programming contest results, student research competition, and mentoring workshop * Overview and affiliated events: http://icfp17.sigplan.org/home * Program: http://icfp17.sigplan.org/program/program-icfp-2017 * Accepted papers: http://icfp17.sigplan.org/track/icfp-2017-papers * Registration is available via: https://regmaster4.com/2017conf/ICFP17/register.php Early registration is due 4 August, 2016. * Programming contest, 4-7 August, 2016: http://2017.icfpcontest.org * Student Research Competition: http://icfp17.sigplan.org/track/icfp-2017-Student-Research-Competition * Follow @icfp_conference on twitter for the latest news: http://twitter.com/icfp_conference There are several events affiliated with ICFP: Sunday, September 3 Workshop on Higher-order Programming with Effects Workshop on Type-Driven Development Scheme and Functional Programming Workshop Programming Languages Mentoring Workshop ICFP Tutorials Monday, September 4 =E2=80=93 Wednesday, September 6 ICFP FSCD - Days 1-3 Thursday, September 7 Haskell Symposium =E2=80=93 Day 1 ML Family Workshop Workshop on Functional High-Performance Computing Commercial Users of Functional Programming =E2=80=93 Day 1 FSCD - Day 4 Friday, September 8 Haskell Symposium =E2=80=93 Day 2 OCaml Workshop Erlang Workshop Commercial Users of Functional Programming =E2=80=93 Day 2 Saturday, September 9 Commercial Users of Functional Programming =E2=80=93 Day 3 Haskell Implementors Workshop Functional Art, Music, Modeling and Design Conference Organizers: General Chair: Jeremy Gibbons (University of Oxford, UK) Program Chair: Mark Jones (Portland State University, USA) Artifact Evaluation Co-Chair: Matthew Flatt (University of Utah, USA) Artifact Evaluation Co-Chair: Ryan R. Newton (Indiana University, USA) Industrial Relations Chair: Ryan Trinkle (Obsidian Systems LLC, USA) PLMW Co-Chair: Neelakantan R. Krishnawami (University of Cambridge, UK) PLMW Co-Chair: Dan Licata (Wesleyan University, USA) PLMW Co-Chair: Brigitte Pientka (McGill University, Canada) Programming Contest Organiser: Sam Lindley (University of Edinburgh, UK) Publicity and Web Chair: Lindsey Kuper (Intel Labs, USA) Student Research Competition Chair: Ilya Sergey (University College London,= UK) Student Volunteer Co-Captain: Yosuke Fukuda (Kyoto University, Japan) Student Volunteer Co-Captain: Yuki Nishida (Kyoto University, Japan)=20 Student Volunteer Co-Captain: Jakub Zalewski (University of Edinburgh, UK) Video Chair: Jose Calderon (Galois, Inc., USA) Workshops Co-Chair: Andres L=C3=B6h (Well-Typed LLP, UK) Workshops Co-Chair: David Christiansen (Indiana University, USA) Sponsors and industrial partners: Platinum partners Ahrefs Jane Street Capital Gold partners Bloomberg X Silver partners Galois Oracle Bronze partners Obsidian Systems Portland State University Well-Typed