[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