The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011)
From the call for papers:
ICFP 2011 seeks original papers on the art and science
of functional programming. Submissions are invited on all
topics from principles to practice, from foundations to
features, and from abstraction to application. The scope
includes all languages that encourage functional
programming, including both purely applicative and
imperative languages, as well as languages with objects,
concurrency, or parallelism. Particular topics of
interest include
- Language Design: type systems; concurrency and
distribution; modules; components and composition;
metaprogramming; relations to imperative,
object-oriented, or logic programming;
interoperability- Implementation: abstract machines; virtual
machines; interpretation; compilation; compile-time and
run-time 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;
testing; tracing; profiling- Foundations: formal semantics; lambda calculus;
rewriting; type theory; mathematical logic; monads;
continuations; delimited continuations; global,
delimited, or local effects- Transformation and Analysis: abstract
interpretation; partial evaluation; program
transformation; program calculation; program proofs;
normalization by evaluation- 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- Experience Reports: short papers that provide
evidence that functional programming really works or
describe obstacles that have kept it from working in a
particular application
Important Dates:
Titles, abstracts & keywords due: Thursday 17 March 2011 at 14:00 UTC
Submissions due: Thursday 24 March 2011 at 14:00 UTC
Author response: Tuesday & Wednesday 17-18 May
Notification: Monday 30 May 2011
Final copy due: Friday 01 July 2011
Conference: Monday-Wednesday 19-21 September 2011