[Agda] ICFP '10: Final call for participation

Wouter Swierstra icfp.publicity at googlemail.com
Mon Aug 23 10:30:15 CEST 2010


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

           The 15th ACM SIGPLAN International Conference
               on Functional Programming (ICFP 2010)

                   http://www.icfpconference.org/icfp2010/
                     Baltimore, Maryland September 25 – October 2
=====================================================================

ICFP 2010 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.

** Not that the early registration deadline and discount hotel rates
expire next week. **

 * Program:
    http://www.icfpconference.org/icfp2010/program.html
 * Invited speakers:
    - Mike Gordon
        ML: Metalanguage or Object Language?
    - Matthias Felleisen
        TeachScheme!: A Checkpoint
    - Guy Blelloch
        Functional Parallel Algorithms

Schedule including related events:
 * September 25:
     Workshop on Mechanizing Metatheory (WMM)
     Workshop on Mathematically Structured Functional Programming (MSFP)
     Workshop on High-Level Parallel Programming and Applications (HLPP)
 * September 26:
     Workshop on ML
     Workshop on Generic Programming (WGP)
 * September 27-29:
     ICFP 2010
 * September 30:
     Haskell Symposium
     Erlang Workshop
 * October 1:
     Commercial Users of Functional Programming – Day 1 (CUFP Tutorials)
     Haskell Implementors' Workshop
 * October 2:
     Commercial Users of Functional Programming – Day 2 (CUFP Talks)

This year there will also be a special series of Birds-of-a-Feather
sessions associated with CUFP.
More information can be found at: http://cufp.org/bofs-2010

Registration information:
 * Registration link: https://regmaster3.com/2010conf/ICFP10/register.php

Local arrangements (including travel and accommodation):
 * http://www.icfpconference.org/icfp2010/local.html
 * Conference reservation/rate deadline: September 1st

Conference organizers:
 * General Chair:
     Paul Hudak, Yale University
 * Program Chair:
     Stephanie Weirich, University of Pennsylvania
 * Local Arrangements Chair:
     Michael Hicks, University of Maryland
 * Workshop Co-Chairs:
     Derek Dreyer, Max Planck Institute for Software Systems
     Christopher Stone, Harvey Mudd College
 * Programming Contest Chair:
     Johannes Waldmann, Hochschule für Technik, Wirtschaft und Kultur, Leipzig
 * Video Chair:
     Scott Smith, Johns Hopkins University
 * Publicity Chair:
     Wouter Swierstra, Vector Fabrics

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


More information about the Agda mailing list