ICFP 2013 - 18th ACM SIGPLAN International Conference on Functional Programming

ICFP 2013 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 and distribution; modules; components and composition; metaprogramming; interoperability; type systems; relations to imperative, object-oriented, or logic programming
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; monads; continuations; control; state; effects; program verification; dependent types
Analysis and Transformation: control-flow; data-flow; abstract interpretation; partial evaluation; program calculation
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: 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.
Affiliated Workshops
While there are no permanent affiliations between individual workshops and ICFP, a number of well-established workshops have regularly been affiliated with ICFP, including:
Haskell Symposium
Erlang Workshop
Workshop on Scheme and Functional Programming
Commercial Users of Functional Programming (CUFP)
Workshop on ML
Workshop on Mechanizing Metatheory (WMM)
Workshop on Generic Programming (WGP)
Functional and Declarative Programming in Education (FDPE)
Functional Programming Developer Tracks (DEFUN)
Programming Languages meets Program Verification (PLPV)
MEchanized Reasoning about Languages with varIable biNding (MERLIN)
Workshop on Curry and Functional Logic Programming
Workshop on Approaches and Applications of Inductive Programming