[Agda] ICFP 2012: Second call for participation

Wouter Swierstra icfp.publicity at gmail.com
Tue Jul 31 13:13:06 CEST 2012

                        Second Call for Participation

            The 17th ACM SIGPLAN International Conference
              on Functional Programming (ICFP 2012) and
                          affiliated events

                 Copenhagen, Denmark, Sep 9-15, 2012

There are less than ten days left until the early registration expires!

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, 9 workshops, 8 tutorials,
programming contest results, student research contest

 * Program:

 * Local arrangements (including travel and accommodation):

 * Registration is available via:

 * Follow @icfp_conference on twitter for the latest news:

There are several events affiliated with ICFP:

 September 9
   Workshop on Cross-paradigm Language Design and Implementation
   Workshop on Generic Programming
   Workshop on Higher-Order Programming with Effects
   Workshop on Logical Frameworks and Meta-languages: Theory and Practice
 September 10-12
   ICFP - main conference
 September 13
   Commercial Users of Functional Programming – Day 1 (CUFP Tutorials)
   Haskell Symposium
   Workshop on ML
 September 14
   Commercial Users of Functional Programming – Day 2 (CUFP Tutorials)
   Erlang Workshop
   Haskell Implementors' Workshop
   OCaml Users and Developers Workshop
 September 15
   Commercial Users of Functional Programming – Day 3 (CUFP Talks)
   Workshop on Functional High-Performance Computing
   Tutorial on Compiler Construction in Haskell
   Tutorial on the Grammatical Framework

Conference organizers:

 * General Chair:
    Peter Thiemann, University of Freiburg
 * Program Chair:
    Robby Findler, Northwestern University
 * Local Arrangements Chair:
    Fritz Henglein, University of Copenhagen
 * Industrial Relations Chair:
    Andy Adams-Moran, Galois
 * Workshop Co-Chairs:
    Patrik Jansson, Chalmers University of Technology
    Gabriele Keller, University of New South Wales
 * Programming Contest Chair:
    Edwin Brady, University of St. Andrews
    Kevin Hammond, University of St. Andrews
 * Publicity Chair:
    Wouter Swierstra, Utrecht University
 * Video Chair:
    Malcolm Wallace, Standard Chartered Bank
 * Student Research Competition Chair:
    Doaitse Swierstra, Utrecht University


More information about the Agda mailing list