From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 50A277EEF8 for ; Sat, 18 Jul 2015 18:44:01 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of icfp.publicity@googlemail.com) identity=pra; client-ip=209.85.212.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of icfp.publicity@googlemail.com designates 209.85.212.182 as permitted sender) identity=mailfrom; client-ip=209.85.212.182; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f182.google.com) identity=helo; client-ip=209.85.212.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-wi0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DVAQA8gapVlLbUVdFBGoMyNWkGgx2lZQeUSAqFLYFrB0wBAQEBAQESAQEBAQcLCwkfMIQ8CwYdAQEkAgkBCCUPAiYCJBIBBQFPAQeHdgEDEg08p32BLD4xik9whGUBBYFsiQEKQA2FOgEZBoEihHyGa4V9DC8SgTGFZY5yhG+CYIRSggmVNBIjgRUXcoEqDQ+BbyIxgksBAQE X-IPAS-Result: A0DVAQA8gapVlLbUVdFBGoMyNWkGgx2lZQeUSAqFLYFrB0wBAQEBAQESAQEBAQcLCwkfMIQ8CwYdAQEkAgkBCCUPAiYCJBIBBQFPAQeHdgEDEg08p32BLD4xik9whGUBBYFsiQEKQA2FOgEZBoEihHyGa4V9DC8SgTGFZY5yhG+CYIRSggmVNBIjgRUXcoEqDQ+BbyIxgksBAQE X-IronPort-AV: E=Sophos;i="5.15,499,1432591200"; d="scan'208";a="170748452" Received: from mail-wi0-f182.google.com ([209.85.212.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Jul 2015 18:44:00 +0200 Received: by wibud3 with SMTP id ud3so59262259wib.1 for ; Sat, 18 Jul 2015 09:44:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:reply-to:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=/8UDljDBknF+AnPLjB2yTfrVeo3J1+ut5Y4GKumvEH8=; b=PESSdb5afBwXhxbPlSjLm4muJX91zePv8UFSBiscc8S9jTU9nk4SLdvk09EY2VolX0 ovFGHiNoKAU53PoV6SAI7+z/ce9wwdqhIOFIIeOx2T7dNnB11eJk8lRHKIVbIinz48dx zytZQmy7yKcWrAKEVipwXDON1tOQcYwEnLRH2GJQaIIxVYdyBaoQibtA+B3QtGk9+tf0 0A7rpa3y6JhbxzsXgk4Arm9d12ujWNglmCoNLDT4Hax6n5pWEwN5VII6i8PKcuevJiHd 5KsYlNp32h2Fz8v+LqMpa9Px9vOjki/v9y+Jqh4TxqaAENwnkoXmOD1LUbSu7EhfvdRS Z2kg== MIME-Version: 1.0 X-Received: by 10.180.94.39 with SMTP id cz7mr5974827wib.17.1437237840263; Sat, 18 Jul 2015 09:44:00 -0700 (PDT) Received: by 10.28.65.65 with HTTP; Sat, 18 Jul 2015 09:44:00 -0700 (PDT) Reply-To: dvanhorn@cs.umd.edu Date: Sat, 18 Jul 2015 12:44:00 -0400 Message-ID: From: David Van Horn To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] ICFP 2015 Call for Participation [ Early registration ends 3 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 2015 20th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 30 - September 5, 2015 Vancouver, British Columbia, Canada http://icfpconference.org/icfp2015/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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, 11 workshops, tutorials, programming contest results, student research competition, and mentoring workshop * Program: http://icfpconference.org/icfp2015/program.html * Accepted Papers: http://icfpconference.org/icfp2015/accepted.html * Affiliated Events: http://icfpconference.org/icfp2015/affiliated.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2015/local.html * Registration is available via: https://regmaster4.com/2015conf/ICFP15/register.php Early registration is due 3 August, 2015. * Programming contest, 7-10 August, 2015: http://icfpcontest.org/ * Follow @icfp_conference on twitter for the latest news: http://twitter.com/icfp_conference There are several events affiliated with ICFP: Sunday, August 30 Haskell Implementors Workshop Workshop on Higher-order Programming with Effects Workshop on Generic Programming Programming Languages Mentoring Workshop Ally Skills Tutorial Monday, August 31 =E2=80=93 Wednesday, September 2 ICFP Thursday, September 3 Workshop on Functional High-Performance Computing Haskell Symposium =E2=80=93 Day 1 ML Family Workshop Commercial Users of Functional Programming =E2=80=93 Day 1 Friday, September 4 Erlang Workshop Haskell Symposium =E2=80=93 Day 2 OCaml Workshop Commercial Users of Functional Programming =E2=80=93 Day 2 Scheme and Functional Programming Workshop Saturday, September 5 Functional Art, Music, Modeling and Design Commercial Users of Functional Programming =E2=80=93 Day 3 Conference Organizers General Chair: Kathleen Fisher, Tufts University Program Chair: John Reppy, University of Chicago Local Arrangements Chair: Ronald Garcia, University of British Columbia Industrial Relations Chair: Anil Madhavapeddy, University of Cambridge Workshop Co-Chairs: Tom Schrijvers, KU Leuven Nicolas Wu, University of Bristol Programming Contest Chair: Joe Kiniry, Galois Student Research Competition Chair: Andrew Kennedy, Microsoft Research Mentoring Workshop Co-Chairs: Ronald Garcia, University of British Columbia Stephanie Weirich, University of Pennsylvania Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Student Volunteer Co-Chairs: Felipe Ba=C3=B1ados Schwerter, University of British Columbia Gabriel Scherer, INRIA Mobile App Chair: Reid Holmes, University of Waterloo Industrial partners: Platinum partners Jane Street Capital Gold partners Anonymous donor Ahrefs Google Mozilla Research Oracle Labs Silver partners Bloomberg Tsuru Capital Galois The University of Chicago Bronze partners Erlang Solutions FireEye IntelliFactory PivotCloud Systor Vest =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D