ICFP 2016
The 21st ACM SIGPLAN International Conference on Functional Programming
http://conf.researchr.org/home/icfp-2016
Final Call for Papers
Important dates
---
Submissions due:Wednesday, March 16 2016, 15:00 (UTC)
https://icfp2016.hotcrp.com
(now open)
Author response:Monday, 2 May, 2016, 15:00 (UTC) -
Thursday, 5 May, 2016, 15:00 (UTC)
Notification: Friday, 20 May, 2016
Final copy due: TBA
Early registration: TBA
Conference: Monday, 19 September -
Wednesday, 21 September, 2016
Please note
---
For the sake of lightweight double-blind reviewing, the submission
procedure may take a little more time than in previous ICFPs; we
recommend that you register your submission as early as possible (you
can update your paper until the deadline).
Scope
-
ICFP 2016 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. Topics of interest include (but are not limited to):
- Language Design: concurrency, parallelism, and distribution;
modules; components and composition; metaprogramming; type systems;
interoperability; domain-specific languages; and relations to
imperative, object-oriented, or logic programming.
- Implementation: abstract machines; virtual machines; interpretation;
compilation; compile-time and run-time optimization; garbage
collection and 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; monads; continuations; control; state; effects; program
verification; dependent types.
- Analysis and Transformation: control-flow; data-flow; abstract
interpretation; partial evaluation; program calculation.
- Applications: 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 and
3D graphics programming; scripting; system administration; security.
- Education: teaching introductory programming; parallel programming;
mathematical proof; algebra.
- 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.
If you are concerned about the appropriateness of some topic, do not
hesitate to contact the program chair.
Abbreviated instructions for authors
- By Wednesday, March 16 2016, 15:00 (UTC), submit a full paper of at
most 12 pages (6 pages for an Experience Report), in standard
SIGPLAN conference format, including figures but ***excluding
bibliography***.
The deadlines will be strictly enforced and papers exceeding the page
limits will be summarily rejected.
***ICFP 2016 will employ a lightweight double-blind reviewing
process.*** To facilitate this, submitted papers must adhere to two
rules:
1. ***author names and institutions must be omitted***, and
2. ***references to authors' own related work should be in the third
person*** (e.g., not "We build on our previous work ..." but
rather "We build on the work of ...").
The purpose of this process is to help the PC and external reviewers
come to an initial judgement about the paper without bias, not to make
it impossible for them to discover the authors if they were to
try. Nothing should be done in the name of anonymity that weakens the
submission or makes the job of reviewing the paper more difficult
(e.g., important background references should not be omitted or
anonymized). In addition, authors should feel free to disseminate
their ideas or draft versions of their paper as they normally
would. For instance, authors may post drafts of their papers on the
web or give talks on their research ideas. We have put together a
document answering frequently asked questions that should address many
common concerns:
http://conf.researchr.org/track/icfp-2016/icfp-2016-papers#Submission-and-Reviewing-FAQ
(last updated February 8, 2016).
- Authors have the option to attach supplementary material to a
submission,
