[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