[Agda] ICFP 2012: Second call for participation
Wouter Swierstra
icfp.publicity at gmail.com
Tue Jul 31 13:13:06 CEST 2012
=====================================================================
Second Call for Participation
The 17th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2012) and
affiliated events
http://www.icfpconference.org/icfp2012/
Copenhagen, Denmark, Sep 9-15, 2012
=====================================================================
There are less than ten days left until the early registration expires!
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.
A full week dedicated to functional programming:
1 conference, 1 symposium, 9 workshops, 8 tutorials,
programming contest results, student research contest
* Program:
http://icfpconference.org/icfp2012/program.html
* Local arrangements (including travel and accommodation):
http://icfpconference.org/icfp2012/local.html
* Registration is available via:
http://icfpconference.org/icfp2012/registration.html
* Follow @icfp_conference on twitter for the latest news:
http://twitter.com/#!/icfp_conference
There are several events affiliated with ICFP:
September 9
Workshop on Cross-paradigm Language Design and Implementation
Workshop on Generic Programming
Workshop on Higher-Order Programming with Effects
Workshop on Logical Frameworks and Meta-languages: Theory and Practice
September 10-12
ICFP - main conference
September 13
Commercial Users of Functional Programming – Day 1 (CUFP Tutorials)
Haskell Symposium
Workshop on ML
September 14
Commercial Users of Functional Programming – Day 2 (CUFP Tutorials)
Erlang Workshop
Haskell Implementors' Workshop
OCaml Users and Developers Workshop
September 15
Commercial Users of Functional Programming – Day 3 (CUFP Talks)
Workshop on Functional High-Performance Computing
Tutorial on Compiler Construction in Haskell
Tutorial on the Grammatical Framework
Conference organizers:
* General Chair:
Peter Thiemann, University of Freiburg
* Program Chair:
Robby Findler, Northwestern University
* Local Arrangements Chair:
Fritz Henglein, University of Copenhagen
* Industrial Relations Chair:
Andy Adams-Moran, Galois
* Workshop Co-Chairs:
Patrik Jansson, Chalmers University of Technology
Gabriele Keller, University of New South Wales
* Programming Contest Chair:
Edwin Brady, University of St. Andrews
Kevin Hammond, University of St. Andrews
* Publicity Chair:
Wouter Swierstra, Utrecht University
* Video Chair:
Malcolm Wallace, Standard Chartered Bank
* Student Research Competition Chair:
Doaitse Swierstra, Utrecht University
=====================================================================
More information about the Agda
mailing list