T minus 3 weeks!!

I wonder how many ICFP 2025 papers I can read on the plane ride over?

This weekend is your last chance for the early registration discount!

Register by Aug 31 for a better rate:
icfp25.sigplan.org/attending/re...

And, if you're staying for the whole week, the 7-day registration package comes with one free day (you only pay for 6 days!)

fingers crossed to spot crocodiles and wild macaques

🤞 🐊 🐒 🤞

ICFP/SPLASH goers -- looking to escape into the wild for a moment?

Come join one of these two planned hikes (courtesy of @mrigger.bsky.social)!

First through the central reserve, and second through the wetlands:
2025.splashcon.org/attending/ou...

ICFP/SPLASH attendees: what's the first thing you're doing in Singapore this October??

my goal: try every single dish on this list 👀 👀
conf.researchr.org/attending/ic...

(courtesy of @ilyasergey.bsky.social !)

ICFP/SPLASH 2025 registration is open!

If you register soon, you can catch the early registration discount (by August 31).

Register for the whole 7 days and only pay for 6!

conf.researchr.org/attending/ic...

🚨 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...

More info 👉 conf.researchr.org/track/icfp-s...

Come check out our incredible program in person this Fall in Singpore!! See you there!

And in our third keynote, Christos Dimoulas will present "The Rational Programmer, A Method for Investigating Programming Language Pragmatics", which empowers language creators to better understand how their design choices affect software developers.

Next, Ekaterina Komendantskaya will introduce the concept of "Proof-Carrying Neuro-Symbolic Code" in their keynote, weaving programming and formal verification together with machine learning.

In the keynote "Functional Programming for Hardware Design", Satnam Singh (@satnam6502.bsky.social‬) will tell us about how functional programming can revolutionize how we design, verify, and optimize digital hardware.

the ICFP 2025 program is coming together! Check out our list of accepted papers: icfp25.sigplan.org/track/icfp-2...

and we'll have three keynotes this year!
icfp25.sigplan.org/track/icfp-2...

⬇️⬇️⬇️

PLMW 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-sp...

Calling for Presentations!

Higher-order, Typed, Inferred, Strict:
The 2025 ML Family Workshop welcomes presentations on any topic related to programming languages in the ML family (such as SML, OCaml, F#, etc.)

Submissions due: June 19 AoE
Workshop: Oct 16

conf.researchr.org/home/icfp-sp...

Please consider submitting to FUNARCH 2025, a workshop that is part of the @icfp-conference.bsky.social week in Singapore this October. At the intersection of software engineering and functional programming, bsky.app/profile/funa...
conf.researchr.org/home/icfp-sp...

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/ic...

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-s...

New ICFP25 logo just dropped 👀

Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel!

www.youtube.com/@acmsigplan/...