[Agda] ICFP 2015 Call for Participation

David Van Horn icfp.publicity at googlemail.com
Sat Jul 18 18:42:15 CEST 2015


[ Early registration ends 3 August. ]

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

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/

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

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 – Wednesday, September 2
    ICFP

  Thursday, September 3
    Workshop on Functional High-Performance Computing
    Haskell Symposium – Day 1
    ML Family Workshop
    Commercial Users of Functional Programming – Day 1

  Friday, September 4
    Erlang Workshop
    Haskell Symposium – Day 2
    OCaml Workshop
    Commercial Users of Functional Programming – Day 2
    Scheme and Functional Programming Workshop

  Saturday, September 5
    Functional Art, Music, Modeling and Design
    Commercial Users of Functional Programming – 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ñados 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

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


More information about the Agda mailing list