ICFP 2026
The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual programming language conference that 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.
重要信息
CCF推荐：B（软件工程/系统软件/程序设计语言）
录用率：38.9%（37/95，2016年）
时间地点：2026年8月24日-印第安纳波利斯·美国
截稿时间：2026年2月19日
大会官网：https://icfp26.sigplan.org/
Call for Papers
Language Design: concurrency, parallelism, and distribution; modularity; components and composition; meta-programming; macros; pattern matching; type systems; type inference; dependent types; effect types; gradual types; refinement types; session types; interoperability; domain-specific languages; imperative programming; object-oriented programming; logic programming; probabilistic programming; reactive programming; generic programming; bidirectional programming; secure programming.
Implementation: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimisation; garbage collection and memory management; runtime systems; 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; build systems; program synthesis.
Analysis and Transformation: control flow; data flow; abstract interpretation; partial evaluation; program calculation.
Foundations: formal semantics; lambda calculus; program equivalence; rewriting; type theory; logic; category theory; computational effects; continuations; control; state; names and binding; program verification.
Applications: symbolic computing; formal-methods tools; systems programming; distributed systems and web programming; hardware design; databases; scientific and numerical computing; graphical user interfaces; graphics and multimedia; GPU programming; scripting; system administration; security.
Education: teaching introductory programming; mathematical proof; algebra.
Submission
ICFP 2026 will use a full double-blind reviewing process.
Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template.
There is a limit of 25 pages for a full paper or Functional Pearl and 12 pages for an Experience Report; in either case, the bibliography and an optional clearly marked appendix will not be counted against these limits.