ICFP Conference
@icfp_conference
ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
🚨 Call for Volunteers: SPLASH/ICFP 2025 🚨 Join the team that makes it all happen! Meet the PL community, attend for free, and help run an amazing conference. Apply now 👉 tinyurl.com/splashifcp25-s… More info 👉 conf.researchr.org/track/icfp-spl…
PLMW @PLMentoring is calling for student applications -- if you are a student interested in ICFP/SPLASH 2025, consider applying! Deadline: July 15, AoE conf.researchr.org/home/icfp-spla…
Only two weeks left to submit your paper to the Haskell Symposium 2025 (ddl June 9 AOE)! Consider submitting a paper and join us in Singapore, where Haskell'25 will be co-located with ICFP and SPLASH: conf.researchr.org/home/icfp-spla…
The submission deadline for the ML Family Workshop 2025 is approaching. Just about two weeks to go! Deadline: June 19 This year we're in Singapore, colocated with ICFP/SPLASH. It's going to be a great event -- please consider submitting, and hope to see you there!
Calling for Presentations! Higher-order, Typed, Inferred, Strict: The 2025 ML Family Workshop welcomes presentations on any topic related to the ML family of languages (such as SML, OCaml, F#, etc.) Submissions due: June 19 AoE Workshop: Oct 16 conf.researchr.org/home/icfp-spla…
Only a little more than a month before the deadline on Mon. June 16: Send us your paper on FP in the large - to the SIGPLAN Workshop on Functional Software Architecture! Happy Writing! conf.researchr.org/home/icfp-spla… #FUNARCH2025
FP and OO unify again! Join us at the Scala Workshop, co-located with @icfp_conference and @splashcon 💡No papers, just talk proposals! Meet leading researchers, connect with the Scala community, and bring your industry perspective—everyone’s invited. 2025.workshop.scala-lang.org
Reminder: the submission deadline for the Erlang workshop (co-located with ICFP in Singapore) is 6th June. We welcome submissions related to Erlang, other BEAM-related languages, actor model programming, distribution, and concurrency. conf.researchr.org/home/icfp-spla…
Calling for Presentations! Higher-order, Typed, Inferred, Strict: The 2025 ML Family Workshop welcomes presentations on any topic related to the ML family of languages (such as SML, OCaml, F#, etc.) Submissions due: June 19 AoE Workshop: Oct 16 conf.researchr.org/home/icfp-spla…
Please consider submitting to FUNARCH 2025, a workshop that is part of the @icfp_conference week in Singapore this October. At the intersection of software engineering and functional programming, it is a great venue for those of who are interested in large long-lived industrial…
It's deadline day!! Best of luck to everyone finishing up their papers!

ICFP/SPLASH 2025 are seeking sponsors! This is a great opportunity to reach a broad audience, especially with the unique co-location of these two conferences this year. conf.researchr.org/attending/icfp…
The deadline to submit a workshop proposal for ICFP/SPLASH 2025 is **Thursday, January 16** less than a week away! conf.researchr.org/track/icfp-spl…
Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel! youtube.com/@acmsigplan/vi…
ICFP is on mastodon and bsky! Come follow us for updates on ICFP'25! mastodon.acm.org/@icfp_conferen… icfp-conference.bsky.social