[Agda] ICFP Call for Participation

[David Van Horn]

[ 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öteborg, 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. ]

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

            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/

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

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 – 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ö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
    IntelliFactory
    Opera Software
    QuviQ

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