[Agda] ICFP 2010: Call for participation

[James Chapman]

The workshop on Mathematically Structured Functional Programming
(MSFP) was accidentally omitted from some versions of this
announcement (including this one). It will be held on the 25th of
September.

Regards,

James

On Tue, Aug 3, 2010 at 8:17 AM, Wouter Swierstra
<icfp.publicity at googlemail.com> wrote:
> =====================================================================
>                        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
>
> =====================================================================
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>