International Conference on Functional Programming — 2025

ICFP — International Conference on Functional Programming

What It Is
ICFP is a leading conference for both theory and practice in functional programming, exploring language design, implementation, type systems, semantics, abstraction, and applications across many domains.

Who Should Submit

• Researchers working on new techniques in functional programming languages and type theory
• Authors developing compilers, runtime systems, formal verification, or domain-specific languages
• Scholars with applied experience using functional programming in real systems, tools, libraries, or case studies

Who Should Attend

• Academics and students seeking cutting-edge results in programming language theory and functional paradigm
• Engineers and practitioners applying functional languages in industries or open source projects
• Developers and designers interested in expressive programming, high assurance, and compositional software

Why It Matters
ICFP provides a space where abstraction meets application, where rigorous mathematical foundations inform tools and languages used in real-world systems. It bridges theory and practice in functional programming.

  For more information, visit the conference website