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 CE6A07F986 for ; Thu, 26 Jun 2014 20:51:14 +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.213.54; 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.213.54 as permitted sender) identity=mailfrom; client-ip=209.85.213.54; 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-yh0-f54.google.com) identity=helo; client-ip=209.85.213.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-yh0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwBALRqrFPRVdU2m2dsb2JhbABABBaDX1qCbqc9kiyGbYFZCBYPAQEBAQEGCwsJFCiEHAsGHQEBJgkBCCUPAg8XAiQSAQUBIhwRAQeICwEDEQ02mCJqijB3hQIBBYF3jx0KQA2GUBEGgSuEOYV6gjiDJw8yEoE6hGgCjm+CcIQVgUaQPhgphQ4hLw X-IPAS-Result: AkwBALRqrFPRVdU2m2dsb2JhbABABBaDX1qCbqc9kiyGbYFZCBYPAQEBAQEGCwsJFCiEHAsGHQEBJgkBCCUPAg8XAiQSAQUBIhwRAQeICwEDEQ02mCJqijB3hQIBBYF3jx0KQA2GUBEGgSuEOYV6gjiDJw8yEoE6hGgCjm+CcIQVgUaQPhgphQ4hLw X-IronPort-AV: E=Sophos;i="5.01,554,1400018400"; d="scan'208";a="82326307" Received: from mail-yh0-f54.google.com ([209.85.213.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Jun 2014 20:51:14 +0200 Received: by mail-yh0-f54.google.com with SMTP id i57so2375096yha.13 for ; Thu, 26 Jun 2014 11:51:13 -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=igzEziV8fRr+k9B3d/BcChzADe3EUwd12JXHiIi2ovA=; b=ODgCFES/tWRdd1+pM9n6hzoEB+pctn32FJOFr6NI6yOwZdU6CgH2YY8+mAl+Kz4O29 WuKUxC3v6EbzunyuKN8VD7EotLKaSUuPQBNuvseqcq3m8cMerjsUojRAAFz6Di51fwUy pG7buTqxYSAsBjIjeWbXjjhUR8iHNqMJEYikCCMEOBtOIAlvrk8erK5L6a5cuybAt6jl siI01Hgbv+Nujoipf7a433YxrxW1E/1PqN4MvuJH8bcG2qGi3dn5gjuuyVrsZZfD1kE/ nufDy/9CQyPJWaQV/TAmTEasVE3P7XCA6PA7i7QjvdsclNXWALnH4VFUygf5A4YomV3u 2KwQ== MIME-Version: 1.0 X-Received: by 10.236.104.231 with SMTP id i67mr24011090yhg.133.1403808673187; Thu, 26 Jun 2014 11:51:13 -0700 (PDT) Received: by 10.170.98.215 with HTTP; Thu, 26 Jun 2014 11:51:13 -0700 (PDT) Reply-To: dvanhorn@cs.neu.edu Date: Thu, 26 Jun 2014 14:51:13 -0400 Message-ID: From: David Van Horn To: caml-list Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] ICFP 2014 Call for Participation [ Please note that much of the block reservation of hotel rooms currently being held for ICFP participants will be released next week. The beginning of September is a very busy conference week in G=C3=B6teborg, so there is high pressure on hotel rooms in that period. If you plan to attend ICFP 2014, it would be best to make your hotel reservations now before the block reservation expires. ] =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 2014 19th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 31 - September 6, 2013 Gothenburg, Sweden http://icfpconference.org/icfp2014/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 * Accepted Papers: http://www.icfpconference.org/icfp2014/accepted.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2014/local.html * Registration is available via: https://regmaster4.com/2014conf/ICFP14/register.php Early registration is due 3 August, 2014. * Programming contest, 25-28 July, 2014: 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 31 ACM SIGPLAN Workshop on Generic Programming ACM SIGPLAN Workshop on Higher-order Programming with Effects Monday, September 1 =E2=80=93 Wednesday, September 3 ICFP Thursday, September 4 ACM SIGPLAN Commercial Users of Functional Programming: Day 1, Tutorials ACM SIGPLAN Haskell Symposium: Day 1 ACM SIGPLAN Workshop on Functional High-Performance Computing ACM SIGPLAN ML Family Workshop Friday, September 5 ACM SIGPLAN Commercial Users of Functional Programming: Day 2, Tutorials ACM SIGPLAN Haskell Symposium: Day 2 ACM SIGPLAN OCaml Workshop ACM SIGPLAN Erlang Workshop ACM SIGPLAN Workshop on Haskell and Rewriting Techniques Saturday, September 6 ACM SIGPLAN Commercial Users of Functional Programming: Day 3, Talks ACM SIGPLAN Haskell Implementors Workshop ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design Conference Organizers General Chair: Johan Jeuring, Utrecht University Program Chair: Manuel Chakravarty, University of New South Wales Local Arrangements Chair: Bj=C3=B6rn von Sydow, Chalmers University Industrial Relations Chair: Anil Madhavapeddy, University of Cambridge Workshop Co-Chairs: Tom Schrijvers, Ghent University Sam Tobin-Hochstadt, Indiana University Programming Contest Co-Chairs: Duncan Coutts, Well Typed LLP Nicolas Wu, University of Oxford Student Research Competition Chair: Meng Wang, Chalmers University Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Malcolm Wallace, Standard Chartered Bank Industrial partners: Platinum partners Jane Street Capital Gold partners Google Microsoft Research Mozilla Oracle Labs Standard Chartered Bank Silver partners Bloomberg Credit Suisse CyberPoint Erlang Solutions Facebook Galois Klarna Lexifi Twitter Bronze partners IntelliFactory Opera Software QuviQ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D