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 86A2B7FA4D for ; Fri, 1 Aug 2014 23:47:29 +0200 (CEST) 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.160.169; 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.160.169 as permitted sender) identity=mailfrom; client-ip=209.85.160.169; 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-yk0-f169.google.com) identity=helo; client-ip=209.85.160.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-yk0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArgCAAAK3FPRVaCpm2dsb2JhbABBBBaDX1cEgnSrZIMcmhMBCYYCd4FXCBYQAQEBAQEGCwsJFCmEHAsGHQEBJgkBCCUgFwIkEgEFASIbEgEHiAsBAxENNqQ4aooyd4UCAQWBd4h6CkANhwkRBoV8hiGCRYMpDzISgUCFAgKPRoMKhCuBVIoehnYYKYUWIS8 X-IPAS-Result: ArgCAAAK3FPRVaCpm2dsb2JhbABBBBaDX1cEgnSrZIMcmhMBCYYCd4FXCBYQAQEBAQEGCwsJFCmEHAsGHQEBJgkBCCUgFwIkEgEFASIbEgEHiAsBAxENNqQ4aooyd4UCAQWBd4h6CkANhwkRBoV8hiGCRYMpDzISgUCFAgKPRoMKhCuBVIoehnYYKYUWIS8 X-IronPort-AV: E=Sophos;i="5.01,782,1400018400"; d="scan'208";a="73711358" Received: from mail-yk0-f169.google.com ([209.85.160.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Aug 2014 23:47:28 +0200 Received: by mail-yk0-f169.google.com with SMTP id 131so2828498ykp.28 for ; Fri, 01 Aug 2014 14:47:26 -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; bh=Gr671YuBZrEOF5ltnk/VlAJj6Wyxo1ayazXFuVtPCbM=; b=nemHHyjZJujJkDIylxxeyg1QX92t0r9C9Et+qIuuym7gwrYvn8aVJH1GuTCUS6N1d3 Z2KAjRY0tUXYoMdiafemPpMZyiMOTs9TNNey7AJbZ0iyLRf2z+oigHawnN6uzlkxZntV E4x4LxK3t2taFQG7TxVh+3G45nIRoNp6dGjjjX7WgXSeIT9OKBcad6a3PSCfXIIaDz10 JdE3Vo8TrkJ7JECF7tfO/ZEl+fdndOLiLOat0YjNQULO5WZfluw9l7hbV76BPL2dnteL IOhrocIfSHWOFPAwzlwHT6csqB+XAi0AMVDF3laDwPQnGa6/EGgb3FeEYmqDZvXXK1D3 93Xg== MIME-Version: 1.0 X-Received: by 10.236.223.36 with SMTP id u34mr12114124yhp.79.1406929646817; Fri, 01 Aug 2014 14:47:26 -0700 (PDT) Received: by 10.170.219.194 with HTTP; Fri, 1 Aug 2014 14:47:26 -0700 (PDT) Reply-To: dvanhorn@cs.neu.edu Date: Fri, 1 Aug 2014 17:47:26 -0400 Message-ID: From: David Van Horn To: caml-list Content-Type: multipart/alternative; boundary=001a11c20234d2986904ff985536 Subject: [Caml-list] ICFP 2014 Final Call for Participation --001a11c20234d2986904ff985536 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable [ Early registration ends 3 Aug; Invited speakers and conference program have been announced. ] =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Final Call for Participation ICFP 2014 19th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 31 - September 6, 2014 Gothenburg, Swedenhttp://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 * Program: http://icfpconference.org/icfp2014/program.html * Accepted Papers: http://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 Keynote speakers: * Kathleen Fisher (Tufts University): Using Formal Methods to Enable More Secure Vehicles: DARPA's HACMS Program * Robert Bruce Findler (Northwestern University): Behavioral Software Contracts * Stephanie Weirich (University of Pennsylvania): Depending on Types 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 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 Alephcloud IntelliFactory Opera Software QuviQ Systeor Vest AS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --001a11c20234d2986904ff985536 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 
[ Early registration ends 3 Aug; Invited speakers and=
 conference
  program have been announced. ]

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Final Call for Participation

ICFP 2014
19th ACM SIGPLAN International Conference on Functional Programming
and affiliated events

August 31 - September 6, 2014
Gothenburg, Swedenhttp://ic=
fpconference.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

 * Program:
   h=
ttp://icfpconference.org/icfp2014/program.html

 * Accepted Papers:
   =
http://icfpconference.org/icfp2014/accepted.html

 * Local arrangements (including travel and accommodation):
   htt=
p://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://tw=
itter.com/#!/icfp_conference

Keynote speakers:

 * Kathleen Fisher (Tufts University):
     Using Formal Methods to Enable More Secure Vehicles:
     DARPA's HACMS Program

 * Robert Bruce Findler (Northwestern University):
     Behavioral Software Contracts

 * Stephanie Weirich (University of Pennsylvania):
     Depending on Types

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

  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
    Alephcloud
    IntelliFactory
    Opera Software
    QuviQ
    Systeor Vest AS

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
--001a11c20234d2986904ff985536--