[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Chicken-users] ICFP 2014 Final Call for Participation

From: David Van Horn
Subject: [Chicken-users] ICFP 2014 Final Call for Participation
Date: Fri, 1 Aug 2014 17:47:52 -0400

[ 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, Sweden


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:

 * Accepted Papers:

 * Local arrangements (including travel and accommodation):

 * Registration is available via:
   Early registration is due 3 August, 2014.

 * Programming contest, 25-28 July, 2014:

 * Follow @icfp_conference on twitter for the latest news:!/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

  Thursday, September 4
    ACM SIGPLAN Commercial Users of Functional Programming: Day 1,
    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,
    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,
    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
    Microsoft Research
    Oracle Labs
    Standard Chartered Bank
  Silver partners
    Credit Suisse
    Erlang Solutions
  Bronze partners
    Opera Software
    Systeor Vest AS


reply via email to

[Prev in Thread] Current Thread [Next in Thread]