[Agda] ICFP 2012: Call for participation

Wouter Swierstra icfp.publicity at googlemail.com
Mon Jul 2 13:42:39 CEST 2012

                        Call for Participation

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

                 Copenhagen, Denmark, Sep 9-15, 2012

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

 * Accepted Papers:

 * Local arrangements (including travel and accommodation):
   Conference hotel reservation cutoff: July 9, 2012

 * Registration is available via:
   Electronic registration will open shortly.

 * 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