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

Website www.icfpconference.org/icfp2012 | Edit Freely

Category ICFP 2012

Deadline: March 02, 2012 | Date: September 09, 2012-September 15, 2012

Venue/Country: Copenhagen, Denmark

Updated: 2011-11-22 11:17:00 (GMT+9)

Call For Papers - CFP

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.