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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 602577F106 for ; Tue, 19 Jul 2016 07:43:56 +0200 (CEST) IronPort-PHdr: 9a23:1tNXuRM6xMxmizDbLSol6mtUPXoX/o7sNwtQ0KIMzox0KPn8rarrMEGX3/hxlliBBdydsKMczbeO+PGwEUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuS9aU0pz8hrD60qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdrce72ppIVWOg0S0vZ/or9YhyClVuvQo7YYACv2iPvdwcbsNBz0jNyUx5db3nRjFVwqGoHUGAUsMlR8dJwnD4Ar3T9/SrzP3rKIp2SKUJYvuULowWD+j87ZDRxjvhyMKMjc49Cfcjckm3/ETmw6ouxEqmt2cW4qSLvcrJfuFcA== 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-pf0-f195.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=209.85.192.195; 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 209.85.192.195 as permitted sender) identity=mailfrom; client-ip=209.85.192.195; 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-pf0-f195.google.com) identity=helo; client-ip=209.85.192.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-pf0-f195.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ACAQCHvY1XdMPAVdFBGoQVfKN6kl6CD4F6JIUsggY4FAEBAQEBAQEBEQEKCwwIHzGCOwMBAgIBAQEGgikLBh0BJwkBCAMSGAcCJgI2AQUBPRIIh3MBAxcOLZ84ggeBMT4xizuERAWEUwpADYQeAQEIAQEBAQEaAgYQcYRhhk6FUAstgloFjwCKJIE1hF6Ce4VRgjmHCYV1jl8wgQ8egk6Be06IEAEBAQ X-IPAS-Result: A0ACAQCHvY1XdMPAVdFBGoQVfKN6kl6CD4F6JIUsggY4FAEBAQEBAQEBEQEKCwwIHzGCOwMBAgIBAQEGgikLBh0BJwkBCAMSGAcCJgI2AQUBPRIIh3MBAxcOLZ84ggeBMT4xizuERAWEUwpADYQeAQEIAQEBAQEaAgYQcYRhhk6FUAstgloFjwCKJIE1hF6Ce4VRgjmHCYV1jl8wgQ8egk6Be06IEAEBAQ X-IronPort-AV: E=Sophos;i="5.28,388,1464645600"; d="scan'208";a="185177664" Received: from mail-pf0-f195.google.com ([209.85.192.195]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Jul 2016 07:43:55 +0200 Received: by mail-pf0-f195.google.com with SMTP id y134so678801pfg.3 for ; Mon, 18 Jul 2016 22:43:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=date:from:to:message-id:subject:mime-version :content-transfer-encoding; bh=MABzG94/Eb8RdfuctXiL9hq45AMU3EpS7keHpbPHy5s=; b=uksiPd0KAHzTn45g0BNi4wP5YcwqV6wrh8+wGHzkbfyO8jKECmimOA7hRnBDWGVRgu IXqzQrRV8nnBBgLp4SeMu++TfYCsxg2oXBS9W5dMQArnGKTH6GnsqZJ8oSzuxdKM7HeG VDeG6lW5gtTUMUL3fe4ff/Eu6II4/6XlalQ/t4QEfcc0xwHYYHPrQJRoRvrRYFw/AVGY Bok3uqn3htp1Oo2ANU96zI3fnuYWyZAtzRh90k+7IDV+yMkfyofKJ7B2tx7oa2leDajL C6Bz7iocGgX1xHYHj/uAeYS/gETl+89kD3dFvSZ3vyWovVn1rDCgr5dh0sEDhGrjx0Zf vD3w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:message-id:subject:mime-version :content-transfer-encoding; bh=MABzG94/Eb8RdfuctXiL9hq45AMU3EpS7keHpbPHy5s=; b=FAciE8oddvOxr84UqzB0gXke4Sw5qkRfRITsWvMXVdXgHvDbWZffO9/2HVgM3dyNG1 XynJnkORKak1KJZcNWYxB8avV3rDMQL9mtAfSW3KFV9YmQoMl1UZL8N3Pbz+KqkKkLrM qty4Xa61uy7Cs0hkkj1w4A8Dz1ad6rIbxGVDFJ1y1lIQ0pmU8SN+I87tn66J6Cv8kpSt EPmIJeTk7GJMI/AE1BooN4zBy11/oj7AnxC9Qyqd7BCYJMT6cj6JY5+yg0as1jdXAktB 5XpXnbShKxmxrAazxlRm3WYZA18s9v3IWlaG+cHJ/5GkLLApw1EGeKG+X+n/nSzCdL/D 9g2g== X-Gm-Message-State: ALyK8tLu3mSwLIj2oWZIRqWeLGQcyUbILIGs/dHRT22Tq/+mcPce1NUgD5pyhtUK8R+71Q== X-Received: by 10.98.87.138 with SMTP id i10mr47993682pfj.16.1468907033153; Mon, 18 Jul 2016 22:43:53 -0700 (PDT) Received: from icfp.publicity (173-228-90-152.dsl.dynamic.fusionbroadband.com. [173.228.90.152]) by smtp.gmail.com with ESMTPSA id u1sm1481274pfu.12.2016.07.18.22.43.52 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 18 Jul 2016 22:43:52 -0700 (PDT) Date: Mon, 18 Jul 2016 22:43:52 -0700 From: Lindsey Kuper To: caml-list@inria.fr Message-ID: <578dbe186ae35_17b03fddc1c65be0591d0@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 2016 [ Early registration ends 17 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 2016 21st ACM SIGPLAN International Conference on Functional Programming and affiliated events September 18 - September 24, 2016 Nara, Japan http://conf.researchr.org/home/icfp-2016 =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: 1 conference, 1 symposium, 10 workshops, tutorials, programming contest results, student research competition, and mentoring workshop * Overview and affiliated events: http://conf.researchr.org/home/icfp-2016 * Program: http://conf.researchr.org/program/icfp-2016/program-icfp-2016 * Accepted Papers: http://conf.researchr.org/track/icfp-2016/icfp-2016-papers#event-overview * Registration is available via: https://regmaster4.com/2016conf/ICFP16/register.php Early registration is due 17 August, 2016. * Programming contest, 5-8 August, 2016: http://2016.icfpcontest.org/ * Student Research Competition (deadline: 3 August, 2016): http://conf.researchr.org/info/icfp-2016/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 18 Workshop on Higher-order Programming with Effects Workshop on Type-Driven Development Scheme and Functional Programming Workshop Programming Languages Mentoring Workshop Monday, September 19 =E2=80=93 Wednesday, September 21 ICFP Thursday, September 22 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 Friday, September 23 Haskell Symposium =E2=80=93 Day 2 OCaml Workshop Erlang Workshop Commercial Users of Functional Programming =E2=80=93 Day 2 Saturday, September 5 Commercial Users of Functional Programming =E2=80=93 Day 3 Haskell Implementors Workshop Functional Art, Music, Modeling and Design Conference Organizers General Co-Chairs: Jacques Garrigue, Nagoya University Gabriele Keller, University of New South Wales Program Chair: Eijiro Sumii, Tohoku University Local Arrangements Co-Chairs: Shinya Katsumata, Kyoto University Susumu Nishimura, Kyoto University Industrial Relations Chair: Rian Trinkle, Obsidian Systems LLC Workshop Co-Chairs: Nicolas Wu, University of Bristol Andres Loeh, Well-Typed LLP Programming Contest Chair: Keisuke Nakano, The University of Electro-Communications Student Research Competition Chair: David Van Horn, University of Maryland, College Park Mentoring Workshop Co-Chairs: Amal Ahmed, Northeastern University Robby Findler, Northwestern University Atsushi Igarashi, Kyoto Universty Publicity Chair: Lindsey Kuper, Intel Labs Video Chair: Iavor Diatchki, Galois Jose Calderon, Galois Student Volunteer Co-Chairs: Yosuke Fukuda, Kyoto University Yuki Nishida, Kyoto University Gabriel Scherer, INRIA Industrial partners: Platinum partners Jane Street Capital Ahrefs Gold partners Mozilla Research Silver partners Ambiata Tsuru Capital Bronze partners Awake Networks Microsoft Research =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