iiinova — where your digital self keeps evolving

ICFP Conference @icfp-conference.bsky.social · 27/08/2026

day 3 — excited for Daan Leijen’s keynote! Efficient strong functional programming with effects and compiler guided reference counting (and mimalloc)

020

ICFP Conference @icfp-conference.bsky.social · 26/08/2026

Thank you to all our industry sponsors!!

000

ICFP Conference @icfp-conference.bsky.social · 26/08/2026

we’ve got a lot of package managers, huh !

131

ICFP Conference @icfp-conference.bsky.social · 26/08/2026

Lindsey Kuper takes the stage for our second keynote: Interpreters Everywhere!

130

ICFP Conference @icfp-conference.bsky.social · 25/08/2026

a shot from Edward Lee’s keynote, Deterministic Concurrency

010

ICFP Conference @icfp-conference.bsky.social · 25/08/2026

And it’s time for the main event! Come join us this morning at 9 for our first keynote presentation: Edward Lee Deterministic Concurrency and then today’s 10:30 session features this year’s distinguished papers!

000

ICFP Conference @icfp-conference.bsky.social · 24/08/2026

Welcome to ICFP!! We hope you enjoy a full week of functional programming and community. Workshops start today, and the main ICFP events begin tomorrow. If you'd like to view talks remotely, you can catch our live streams here: icfp26.sigplan.org/attending/li...

icfp26.sigplan.org

ICFP Live Streams - ICFP 2026

Discord Server: https://discord.gg/icfp26Live Streams: https://icfp26.sigplan.org/attending/live-streams ICFP 2026 will take place in Indianapolis, Indiana, from August 24-29, 2026. The ACM SIGPLAN In...

000

ICFP Conference @icfp-conference.bsky.social · 14/07/2026

We've got an exciting keynote lineup this year at ICFP'26...! 📌 Edward Lee: Deterministic concurrency 📌 Lindsey Kuper: Interpreters everywhere! 📌 Daan Leijen: Efficient strong functional programming with effects and compiler guided reference counting

171

ICFP Conference @icfp-conference.bsky.social · 16/06/2026

Mark your calendars! 🗓️ This year's iteration of the annual ICFP programming contest will take place from ** July 24 to July 27 ** Stay tuned for more info...! icfpcontest2026.com

icfpcontest2026.com

ICFP Programming Contest 2026

The 29th ICFP Programming Contest runs July 24–27, 2026. An online programming competition for teams of any size, anywhere.

124

ICFP Conference @icfp-conference.bsky.social · 10/06/2026

Please apply to be a student volunteer and help run this year’s ICFP! Volunteering is a wonderful opportunity to connect with the community, plus you get to attend all the events with free registration. Applications due Monday, June 29th: icfp26.sigplan.org/track/icfp-2...

icfp26.sigplan.org

ICFP 2026 - ICFP Volunteers - ICFP 2026

Volunteers Apply to be a Volunteer and help us make ICFP 2026 a great experience for all attendants! ICFP 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the effici...

120

ICFP Conference @icfp-conference.bsky.social · 05/06/2026

Looking to demo your work? Teach people how to use a cool new language you've built? Give an introduction to all the beautiful nitty gritty details of your research? Submit a tutorial proposal! Deadline is ** June 21, 2026 ** More info here icfp26.sigplan.org/track/icfp-2...

icfp26.sigplan.org

ICFP 2026 - ICFP Tutorials - ICFP 2026

Welcome to the website of the ICFP 2026 conference. We are working hard to fill the website with all related information. Please check back soon! The ACM SIGPLAN International Conference on Functional...

032

ICFP Conference @icfp-conference.bsky.social · 19/02/2026

It's paper submission day!! How's your's shaping up?

111

Reposted by ICFP Conference

Manuel Rigger @mrigger.bsky.social · 19/10/2025

We finished the second @icfp-conference.bsky.social/SPLASH hike! We spotted multiple crocodiles, lizards, macaques, mudskippers, various fishes (e.g., archerfish and halfbeaks), birds (hornbills, kingfishers, herons, and egrets), bats, and snakes (oriental whip snake and some a king cobra).

1121

Reposted by ICFP Conference

Manuel Rigger @mrigger.bsky.social · 18/10/2025

A reminder that we will have another @icfp-conference.bsky.social/SPLASH nature walk planned for tomorrow. Consider joining if you are (still) in Singapore! 2025.splashcon.org/attending/ou...

2025.splashcon.org

Outdoor Activities - SPLASH 2025

Latest Announcements Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available! Official tag for social media posting about the conference is #icfpsplash25 If you’re pl...

062

ICFP Conference @icfp-conference.bsky.social · 17/10/2025

Just before Zhendong Su’s SPLASH keynote, a timely award: the OOPSLA 2015 most influential paper award goes to Vu Le, Chengnian Sun, and Zhendong Su for “Finding Deep Compiler Bugs via Guided Stochastic Program Mutation” #icfpsplash25

100

ICFP Conference @icfp-conference.bsky.social · 16/10/2025

Julia Lawall takes the stage for the next ICFP/SPLASH keynote! Automating maintenance of the Linux kernel: a perspective over 20 years

130

ICFP Conference @icfp-conference.bsky.social · 16/10/2025

The three spidermen of choreographic programming, courtesy of @dplyukhin.bsky.social

040

ICFP Conference @icfp-conference.bsky.social · 15/10/2025

This morning we had our 3rd keynote! Ekaterina Komendantskaya: Proof-Carrying Neuro-Symbolic Code #icfpsplash25

150

ICFP Conference @icfp-conference.bsky.social · 15/10/2025

a huge round of applause for @ilyasergey.bsky.social and all the work he’s put in to make this event possible #icfpsplash25

150

Reposted by ICFP Conference

Adam Warski @warski.org · 14/10/2025

Congratulations to Martin Odersky for receiving the Programming Languages Achievement Award @icfp-conference.bsky.social - well deserved! :) I can only confirm what it says on the citation, his work deeply impacted how I view programming. Let's work towards making #Scala a continued success!

0366

ICFP Conference @icfp-conference.bsky.social · 14/10/2025

Christos Dimoulas kicks off day 2 of #icfpsplash25 with our second keynote! The Rational Programmer: A Method for Investigating Programming Language Pragmatics

110

Reposted by ICFP Conference

Anil Madhavapeddy @anil.recoil.org · 13/10/2025

To be clear, @satnam6502.bsky.social is talking about chip design here but feel free to meme this as you wish #icfpsplash25

0384

ICFP Conference @icfp-conference.bsky.social · 13/10/2025

Satnam Singh @satnam6502.bsky.social takes the stage for our first keynote: Functional Programming and Hardware Design

092

ICFP Conference @icfp-conference.bsky.social · 13/10/2025

Day 1 is here! @ilyasergey.bsky.social opens the day and welcomes everyone to Singapore for ICFP/SPLASH 2025! #icfpsplash25

030

Reposted by ICFP Conference

Ningke Li @ningkeli.bsky.social · 12/10/2025

@icfp-conference.bsky.social Had a nice day co-hosting the first hike of #icfpsplash25 Outdoor Activities track with Yibo🙌 Walking in the forest 🌳 Seeking special animals (monkeys🐒, lizards🦎, colugos🦇, and even a snake🐍!) Enjoying the networking🥳

162

Reposted by ICFP Conference

Manuel Rigger @mrigger.bsky.social · 12/10/2025

It seems the first hike as part of @icfp-conference.bsky.social/SPLASH went well! A shoutout to @ningkeli.bsky.social and Yibo DONG (as well as my wife, Ting), who guided the participants on this walk. I could unfortunately not participate, as I had to travel abroad due to an urgent issue.

062

ICFP Conference @icfp-conference.bsky.social · 12/10/2025

fantastic advice, insights, and reflections from the panelists at the PLMW career panel

040

ICFP Conference @icfp-conference.bsky.social · 12/10/2025

1st coffee break of the week many many more to come #icfpsplash25

071

ICFP Conference @icfp-conference.bsky.social · 12/10/2025

ICFP/SPLASH is starting now!! See you all at NUS today — #icfpsplash25

041

ICFP Conference @icfp-conference.bsky.social · 11/10/2025

A beautiful day to stop in at the Singapore Botanic Gardens and the National Orchid Garden before ICFP/SPLASH! #icfpsplash25

032

ICFP Conference @icfp-conference.bsky.social · 22/09/2025

T minus 3 weeks!! I wonder how many ICFP 2025 papers I can read on the plane ride over?

031

ICFP Conference @icfp-conference.bsky.social · 29/08/2025

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!)

icfp25.sigplan.org

Registration - ICFP 2025

Announcements The registration is now open. Early Registration deadline: 31 August 2025. Read the travel information page for information about visas, accommodation, and travel tips. Check out our Ex...

000

ICFP Conference @icfp-conference.bsky.social · 25/08/2025

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

2025.splashcon.org

Outdoor Activities - SPLASH 2025

102

ICFP Conference @icfp-conference.bsky.social · 31/07/2025

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

conf.researchr.org

Registration - ICFP/SPLASH 2025

The registration is now open. Early Registration deadline: 31 August 2025. Welcome to the website of the joint ICFP/SPLASH 2025 conference! For the first time, the two leading SIGPLAN venues—ICFP and ...

035

ICFP Conference @icfp-conference.bsky.social · 03/07/2025

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

022

ICFP Conference @icfp-conference.bsky.social · 30/06/2025

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... ⬇️⬇️⬇️

165

Reposted by ICFP Conference

Sam Westrick @shwestrick.bsky.social · 16/03/2025

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

conf.researchr.org

ML Family Workshop 2025 - Higher-order, Typed, Inferred, Strict: ML Family Workshop 2025 - ICFP/SPLASH 2025

ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, Flix, MaPLe, and many othe...

1109

Reposted by ICFP Conference

Satnam Singh @satnam6502.bsky.social · 21/03/2025

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

conf.researchr.org

FUNARCH 2025 - ICFP/SPLASH 2025

The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large “Functional Software Architecture” refers to methods of construction and structure of large and long-lived softwar...

11411

ICFP Conference @icfp-conference.bsky.social · 27/02/2025

It's deadline day!! Best of luck to everyone finishing up their papers!

093