The 14th ACM SIGPLAN
International Conference on
Functional Programming
(ICFP 2009)

ICFP 2009 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

• Registration (online registration is available any time prior to the conference; registration at the conference itself is also possible).

• Local arrangements (including an interactive map, accommodation, travel, and tourist information).

• Final program, one-page version, abstracts, videos, vidiowiki.

• Invited speakers:

  Guy Steele	Organizing Functional Code for Parallel Execution: or, foldl and foldr Considered Slightly Harmful (video)
  Benjamin Pierce	Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations (video)
  Dan Piponi	Commutative Monads, Diagrams and Knots (video)

• Call for papers (html), one-page version (pdf).

• Call for experience reports, call for workshop proposals.

• Programming contest.

• Conference poster (US letter), conference poster (A4).

Conference Organisers

General Chair:	Graham Hutton	University of Nottingham
Program Chair:	Andrew Tolmach	Portland State University
Local Arrangements Co-Chairs:	Philip Wadler	University of Edinburgh
	Kevin Hammond	University of St Andrews
	Gregory Michaelson	Heriot-Watt University
Workshops Co-Chairs:	Christopher Stone	Harvey Mudd College
	Michael Sperber	DeinProgramm
Developer Track Co-Chairs:	Bryan O'Sullivan	Linden Lab
	Michael Sperber	DeinProgramm
Programming Contest Chair:	Andrew Gill	University of Kansas
Video Chair:	Malcolm Wallace	University of York
Publicity Chair:	Matthew Fluet	Toyota Technological Institute at Chicago

Affiliated Workshops and Events

In addition to the main conference, a series of one-day workshops and other affiliated events will also be held:

30th August 2009:	ACM SIGPLAN Workshop on ML
	ACM SIGPLAN Workshop on Generic Programming
3rd September 2009:	ACM SIGPLAN Haskell Symposium (videos)
	ACM SIGPLAN Developer Tracks on Functional Programming
4th September 2009:	ACM SIGPLAN Commercial Users of Functional Programming (videos)
	ACM SIGPLAN Workshop on Mechanizing Metatheory
	ACM SIGPLAN Approaches and Applications of Inductive Programming
5th September 2009:	ACM SIGPLAN Erlang Workshop (videos)
	ACM SIGPLAN Developer Tracks on Functional Programming
	ACM SIGPLAN Haskell Implementors Workshop (videos)

Sponsors

We are pleased to acknowledge the support of the following organisations:

General Information about ICFP

The ICFP Steering Committee
The ICFP Permanent Home Page