ICFP 2012
The 17th ACM SIGPLAN International Conference on Functional Programming
Copenhagen, Denmark
September 9 – 15, 2012
ICFP 2012 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.
Information
- Call for workshop and co-located event proposals.
- The Call for papers is now out.
The submission site is now open
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 Co-Chairs: | Edwin Brady | University of St. Andrews |
| Kevin Hammond | University of St. Andrews | |
| Publicity Chair: | Wouter Swierstra | Radboud Universiteit Nijmegen |
| Video Chair: | Malcolm Wallace | Standard Chartered Bank |
Program Committee
| Zena Ariola | University of Oregon |
| Lars Birkedal | IT University of Copenhagen |
| Matthias Blume | |
| Mariangiola Dezani-Ciancaglini | University of Torino |
| R. Kent Dybvig | Cisco Systems, Inc. and Indiana University |
| Manuel Fahndrich | Microsoft Research |
| John Hughes | Chalmers University of Technology |
| Simon Marlow | Microsoft Research |
| Jan Midtgaard | Aarhus University |
| Brigitte Pientka | McGill University |
| Andreas Rossberg | |
| Colin Runciman | University of York |
| Satnam Singh | |
| Eijiro Sumii | Tohoku University |
| Sam Tobin-Hochstadt | Northeastern University |
| Andrew Tolmach | Portland State University |
Affiliated events
Sunday, September 9
- ACM SIGPLAN Workshop on Cross-paradigm Language Design and Implementation
- ACM SIGPLAN Workshop on Generic Programming
- ACM SIGPLAN Workshop on Higher-Order Programming with Effects
- ACM SIGPLAN Workshop on Logical Frameworks and Meta-languages: Theory and Practice
Monday, September 9 – Wednesday, September 12
- ICFP
Thursday, September 13
- ACM SIGPLAN Commercial Users of Functional Programming – Day 1
- ACM SIGPLAN Haskell Symposium
- ACM SIGPLAN Workshop on ML
Friday, September 14
- ACM SIGPLAN OCaml Users and Developers Workshop
- ACM SIGPLAN Commercial Users of Functional Programming – Day 2
- ACM SIGPLAN Erlang Workshop
- ACM SIGPLAN Haskell Implementors' Workshop
Saturday, September 15
- ACM SIGPLAN Commercial Users of Functional Programming – Day 3
- ACM SIGPLAN Workshop on Functional High-Performance Computing
- Tutorial on Compiler Construction in Haskell
- Tutorial on the Grammatical Framework
- Home
- Call for papers
- Call for workshop proposals
-
Program
-
Registration
-
Local information
-
Programming contest
- More about ICFP