[TYPES/announce] ICFP 2014 Final Call for Participation

David Van Horn icfp.publicity at googlemail.com
Fri Aug 1 17:55:49 EDT 2014


[ Early registration ends 3 Aug; Invited speakers and conference
  program have been announced. ]

=====================================================================

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/

=====================================================================

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 – 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örn 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

=====================================================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140801/fe59997d/attachment.html>


More information about the Types-announce mailing list