[Agda] ICFP 2011: Call for participation

Wouter Swierstra icfp.publicity at googlemail.com
Tue Jul 26 10:57:26 CEST 2011


=====================================================================
                      Call for Participation

          The 16th ACM SIGPLAN International Conference
              on Functional Programming (ICFP 2011)

                  http://www.icfpconference.org/icfp2011/
                    Tokyo, Japan September 19-21, 2011
=====================================================================

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.

 * Program:
   http://www.icfpconference.org/icfp2011/program.html

 * Registration link:
   https://regmaster3.com/2011conf/ICFP11/register.php

 * Local arrangements (including travel and accommodation):
   http://www.biglab.org/icfp11local/index.html


Schedule including related events:

  September 18
    Workshop on Generic Programming (WGP)
    Workshop on High-Level Parallel Programming and Applications (HLPP)
    Workshop on ML
  September 19-21
    ICFP
  September 22
    Commercial Users of Functional Programming – Day 1 (CUFP Tutorials)
    Haskell Symposium
  September 23
    Commercial Users of Functional Programming – Day 2 (CUFP Tutorials)
    Erlang Workshop
    Haskell Implementors' Workshop
  September 24
    Commercial Users of Functional Programming – Day 3 (CUFP Talks)
    Continuation Workshop

Conference organizers:

 * General Co-Chairs:
     Manuel Chakravarty, University of New South Wales
     Zhenjiang Hu, National Institute of Informatics
 * Program Chair:
     Olivier Danvy, Aarhus University
 * Local Arrangements Chair:
     Soichiro Hidaka, National Institute of Informatics
 * Workshop Co-Chairs:
     Gabriele Keller, University of New South Wales
     Derek Dreyer, MPI-SWS
 * Programming Contest Chair:
     Eijiro Sumii, Tohoku University
 * Publicity Chair:
     Wouter Swierstra, Radboud Universiteit Nijmegen

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


More information about the Agda mailing list