ICFP: International Conference on Functional Programming



Past:   Proceedings on DBLP

Future:  Post a CFP for 2025 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
ICFP 2024 The 29th ACM SIGPLAN International Conference on Functional Programming
Sep 2, 2024 - Sep 7, 2024 Milan, Italy Feb 28, 2024
ICFP 2023 The 28th ACM SIGPLAN International Conference on Functional Programming
Sep 4, 2023 - Sep 9, 2023 Seattle, WA Mar 1, 2023
ICFP 2021 International Conference on Functional Programming
Aug 22, 2021 - Aug 27, 2021 Virtual Mar 2, 2021
ICFP 2020 ACM SIGPLAN International Conference on Functional Programming
Aug 20, 2020 - Aug 28, 2020 Online Mar 3, 2020
ICFP 2019 International Conference on Functional Programming
Aug 18, 2019 - Aug 23, 2019 Berlin, Germany 18 - Fri 23 August 2019 Mar 1, 2019
ICFP 2018 International Conference on Functional Programming
Sep 23, 2018 - Sep 29, 2018 St. Louis, Missouri, United States Mar 16, 2018
ICFP 2016 International Conference on Functional Programming
Sep 20, 2016 - Sep 22, 2016 Nara, Japan Mar 16, 2016
ICFP 2015 The 20th ACM SIGPLAN International Conference on Functional Programming
Aug 1, 2015 - Sep 2, 2015 Vancouver, British Columbia, Canada Feb 27, 2015
ICFP 2014 ACM SIGPLAN International Conference on Functional Programming
Sep 1, 2014 - Sep 3, 2014 Gothenburg, Sweden Mar 1, 2014
ICFP 2013 ACM SIGPLAN International Conference on Functional Programming
Sep 25, 2013 - Sep 27, 2013 Boston, MA, USA Mar 28, 2013
ICFP 2010 The 15th ACM SIGPLAN International Conference on Functional Programming
Sep 27, 2010 - Sep 29, 2010 Baltimore, MD, USA Apr 2, 2010
ICFP 2008 ACM SIGPLAN International Conference on Functional Programming
Sep 20, 2008 - Sep 28, 2008 British Columbia, Canada Apr 2, 2008

Present CFP : 2024

PACMPL issue ICFP 2024 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; 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.

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.

Foundations: formal semantics; lambda calculus; program equivalence; rewriting; type theory; logic; category theory; computational effects; continuations; control; state; names and 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 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.

Submissions will be evaluated according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience.

PACMPL issue ICFP 2024 also welcomes submissions in two separate categories — Functional Pearls and Experience Reports — that must be marked as such when submitted and that need not report original research results. Detailed guidelines on both categories are given at the end of this call.

In an effort to achieve a balanced, diverse program, each author may be listed as a (co)author on a maximum of four submissions. Submissions from underrepresented groups are encouraged. Authors who require financial support to attend the conference can apply for PAC funding (http://www.sigplan.org/PAC/).

The General Chair and PC Chair may not submit papers. PC members (other than the PC Chair) may submit papers.

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

Related Resources

ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
SLE 2024   17th ACM SIGPLAN International Conference on Software Language Engineering
PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
KDD 2025   31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining
SPIE-Ei/Scopus-CVCM 2024   2024 5th International Conference on Computer Vision, Communications and Multimedia (CVCM 2024) -EI Compendex