[Agda] ICFP 2010: Call for participation

Wouter Swierstra icfp.publicity at googlemail.com
Tue Aug 3 07:17:33 CEST 2010


=====================================================================
                        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.

  * 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 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)

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