ICFP 2012 - 17th ACM SIGPLAN International Conference on Functional Programming

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.

Particular topics of interest include
? Language Design: type systems; concurrency and distribution; modules;
components and composition; relations to object-oriented or logic programming;
interoperability
? Implementation: abstract machines; compilation; compile-time and runtime
optimization; memory management; multi-threading; exploiting
parallel hardware; interfaces to foreign functions, services, components
or low-level machine resources
? Software-Development Techniques: algorithms and data structures; design
patterns; specification; verification; validation; proof assistants; debugging;
test generation; tracing; profiling
? Foundations: formal semantics; lambda calculus; rewriting; type theory;
monads; continuations; control; state; effects
? Transformation and Analysis: abstract interpretation; partial evaluation;
program transformation; program calculation; program proof
? Applications and Domain-Specific Languages: symbolic computing;
formal-methods tools; artificial intelligence; systems programming;
distributed-systems and web programming; hardware design; databases;
XML processing; scientific and numerical computing; graphical user interfaces;
multimedia programming; scripting; system administration; security;
education
? Functional Pearls: elegant, instructive, and fun essays on functional programming

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
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 Google
Mariangiola Dezani-Ciancaglini University of Torino
R. Kent Dybvig 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 Google
Colin Runciman University of York
Satnam Singh Google
Eijiro Sumii Tohoku University
Sam Tobin-Hochstadt Northeastern University
Andrew Tolmach Portland State University

The conference also solicits Experience Reports, which are short papers that provide evidence that functional programming really works or describe obstacles that have kept it from working in a particular application.

Each submission will be evaluated according to its relevance, correctness, significance, originality, and clarity. It should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical
content should be accessible to a broad audience. Functional Pearls and Experience Reports are separate categories of papers that need not report original research results and must be marked as such at the time of submission.

Detailed instructions for authors will be made available in the full call for papers on the conference web site. Please note that the submission deadline, is significantly earlier than in recent years.