ICFP 2025: Call for Papers

The ACM SIGPLAN International Conference on Functional Programming (ICFP) 2025 invites submissions on the design, implementations, principles, and uses of functional programming. This year, ICFP is co-located with SPLASH as part of the joint ICFP/SPLASH 2025 conference, taking place in Singapore from October 12 to October 18, 2025.

PACMPL (ICFP) seeks original papers on the art and science of functional programming, covering the entire spectrum of work from practice to theory.

Topics of Interest

Topics of interest include (but are not limited to):

• Language Design: concurrency, parallelism, distribution, modularity, components, 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.
• Implementation: abstract machines, virtual machines, interpretation, compilation, optimization, garbage collection, runtime systems, multi-threading, parallel hardware exploitation, foreign function interfaces.
• Software-Development Techniques: algorithms, data structures, design patterns, specification, verification, validation, proof assistants, debugging, testing, tracing, profiling, build systems, program synthesis.
• Foundations: formal semantics, lambda calculus, program equivalence, rewriting, type theory, logic, category theory, computational effects, continuations, control, state, names, binding, program verification.
• 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, web programming, hardware design, databases, scientific and numerical computing, graphical user interfaces, graphics, multimedia, GPU programming, scripting, system administration, security.
• Education: teaching introductory programming, mathematical proof, algebra.

Submission Types

In addition to research papers, ICFP 2025 also welcomes:

• Functional Pearls: Elegant essays on functional programming, which may include new perspectives on old ideas, instructive examples, nifty data structures, interesting applications, or classroom uses. These are valued and judged rigorously, focusing on conciseness, instructiveness, and entertainment.
• Experience Reports: Descriptions of practical experiences using functional programming in industry, tool development, or education. These papers need not report original research but should illuminate aspects of functional programming use, providing evidence for a clear thesis.

Submission Guidelines

• Review Process: ICFP 2025 will employ a full double-blind reviewing process. Authors must omit their names and institutions from submissions, and refer to their own work in the third person.
• Formatting: Submissions must be in PDF format, printable in black and white on US Letter paper, and adhere to the “ACM Small” template (available in LaTeX and Word).
  • Full papers and Functional Pearls: up to 25 pages (bibliography and optional appendix excluded).
  • Experience Reports: up to 12 pages (bibliography excluded).
• Submission System: Submissions are accepted via href="https://icfp25.hotcrp.com/" - https://icfp25.hotcrp.com/ .
• Supplementary Material: Authors may include a clearly marked appendix and/or attach supplementary material. All supplementary material must be anonymized and uploaded at submission time; URLs pointing to external repositories are not permitted.
• ORCID: ACM requires an ORCID iD for every author. Please ensure you have all coauthors' ORCID iDs before submitting.
• Republication Policy: Submissions must adhere to SIGPLAN’s republication policy.

Important Dates (AoE - Anywhere on Earth)

• Submission Deadline: Thursday, 27 February 2025
• Author Response Period: Monday, 28 April 2025 - Thursday, 1 May 2025
• Notification of Conditional Acceptance: Friday, 23 May 2025
• Deadline for Submitting Revisions: Thursday, 12 June 2025
• Final Decision Notification: Friday, 27 June 2025
• Camera-Ready Deadline: Friday, 11 July 2025

Artifact Evaluation

Authors of conditionally accepted papers are encouraged to submit supporting materials for Artifact Evaluation. Successfully evaluated artifacts will receive a seal of approval.

Contact

Please contact the Program Chair if you have questions or concerns about the appropriateness of a topic.