Anduril is no longer a sponsor of ICFP 2026!
July 22, 2026 at 2:32 PM
Anduril is no longer a sponsor of ICFP 2026!
A lovely Xilinx 7-series FPGA chip layout of a sorting network produced from a dependently typed DSL in Haskell. More stuff like this during my keynote talk at ICFP 2025 in October in Singapore. icfp25.sigplan.org/details/icfp...
September 22, 2025 at 2:25 AM
A lovely Xilinx 7-series FPGA chip layout of a sorting network produced from a dependently typed DSL in Haskell. More stuff like this during my keynote talk at ICFP 2025 in October in Singapore. icfp25.sigplan.org/details/icfp...
The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. www.youtube.com/watch?v=1oBO...
[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 13th)
YouTube video by ACM SIGPLAN
www.youtube.com
October 15, 2025 at 7:56 AM
The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. www.youtube.com/watch?v=1oBO...
The ICFP 2026 Programming Contest will run from July 24th to July 27th.
We'll get icfpcontest2026.com updated with more information on the contest in the coming weeks :)
We'll get icfpcontest2026.com updated with more information on the contest in the coming weeks :)
ICFP Programming Contest 2026
The 29th ICFP Programming Contest runs July 24–27, 2026. An online programming competition for teams of any size, anywhere.
icfpcontest2026.com
June 10, 2026 at 7:56 PM
The ICFP 2026 Programming Contest will run from July 24th to July 27th.
We'll get icfpcontest2026.com updated with more information on the contest in the coming weeks :)
We'll get icfpcontest2026.com updated with more information on the contest in the coming weeks :)
I am designing this year's ICFP programming contest!
if you've got strong opinions on what makes a good programming contest I would love to chat.
Bonus points if you've done the ICFP PC before. Or if you've got ideas about making a good contest in the age of agents!
if you've got strong opinions on what makes a good programming contest I would love to chat.
Bonus points if you've done the ICFP PC before. Or if you've got ideas about making a good contest in the age of agents!
April 17, 2026 at 5:48 PM
I am designing this year's ICFP programming contest!
if you've got strong opinions on what makes a good programming contest I would love to chat.
Bonus points if you've done the ICFP PC before. Or if you've got ideas about making a good contest in the age of agents!
if you've got strong opinions on what makes a good programming contest I would love to chat.
Bonus points if you've done the ICFP PC before. Or if you've got ideas about making a good contest in the age of agents!
If you made a programming language for designing contraceptives you could submit it to ICFP and ICFP
February 27, 2025 at 1:33 AM
If you made a programming language for designing contraceptives you could submit it to ICFP and ICFP
A five part roundup of my @icfp-conference.bsky.social experience, covering chairing @propl.dev, holding an OxCaml tutorial, speaking about Docker, and what I learnt from everyone! anil.recoil.org/notes/icfp25; above all, huge thanks to @ilyasergey.bsky.social for making this ICFP/SPLASH so good
A Roundup of ICFP/SPLASH 2025 happenings
anil.recoil.org
October 23, 2025 at 1:12 PM
A five part roundup of my @icfp-conference.bsky.social experience, covering chairing @propl.dev, holding an OxCaml tutorial, speaking about Docker, and what I learnt from everyone! anil.recoil.org/notes/icfp25; above all, huge thanks to @ilyasergey.bsky.social for making this ICFP/SPLASH so good
cool to see that the ICFP programming contest this year is focused on systems programming icfpcontest2026.com
July 22, 2026 at 7:50 PM
cool to see that the ICFP programming contest this year is focused on systems programming icfpcontest2026.com
Completely full house for our OxCaml tutorial at #icfpsplash25! conf.researchr.org/details/icfp...
October 12, 2025 at 6:53 AM
Completely full house for our OxCaml tutorial at #icfpsplash25! conf.researchr.org/details/icfp...
The 2nd Programming for the Planet workshop will be hybrid and co-located with ICFP/SPLASH in October in Singapore! Our call for papers is out at conf.researchr.org/home/icfp-sp..., submission deadline 3rd July 2025.
PROPL 2025 - Programming for the Planet 2025 - ICFP/SPLASH 2025
There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification. Addressing these challenges requires, amongst other things, a ...
conf.researchr.org
April 3, 2025 at 9:51 AM
The 2nd Programming for the Planet workshop will be hybrid and co-located with ICFP/SPLASH in October in Singapore! Our call for papers is out at conf.researchr.org/home/icfp-sp..., submission deadline 3rd July 2025.
24. Flower Castle (DELTARUNE Chapter 5 Soundtrack) - Toby Fox
YouTube video by Toby Fox
www.youtube.com
September 22, 2026 at 11:24 PM
It’s still about 10 months till ICFP’25, but some functional folks decided to arrive early. @icfp-conference.bsky.social
December 5, 2024 at 3:14 PM
It’s still about 10 months till ICFP’25, but some functional folks decided to arrive early. @icfp-conference.bsky.social
ICFP wrap-up from me www.chrisarmstrong.dev/posts/icfp-w...
ICFP 2025 Wrap-up
Wrap-up on my time at the ICFP '25 conference in Singapore
www.chrisarmstrong.dev
October 18, 2025 at 2:01 AM
ICFP wrap-up from me www.chrisarmstrong.dev/posts/icfp-w...
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/home/icfp-sp...
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...
conf.researchr.org
March 21, 2025 at 6:53 PM
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/home/icfp-sp...
Anton Lorenzen's talk from this last ICFP, "Oxidizing OCaml with model memory management". It gives a bit of a taste of a possible, Rustier future for OCaml.
youtu.be/wbrELQrzwQk?...
youtu.be/wbrELQrzwQk?...
November 26, 2024 at 1:06 AM
Anton Lorenzen's talk from this last ICFP, "Oxidizing OCaml with model memory management". It gives a bit of a taste of a possible, Rustier future for OCaml.
youtu.be/wbrELQrzwQk?...
youtu.be/wbrELQrzwQk?...
August 27, 2025 at 5:55 PM
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...
⬇️⬇️⬇️
and we'll have three keynotes this year!
icfp25.sigplan.org/track/icfp-2...
⬇️⬇️⬇️
June 30, 2025 at 2:52 PM
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...
⬇️⬇️⬇️
and we'll have three keynotes this year!
icfp25.sigplan.org/track/icfp-2...
⬇️⬇️⬇️
ICFP/SPLASH’25 social track is going to be lit.
Doing some field work for the ICFP/OOPSLA service role @ilyasergey.bsky.social found for me.
November 22, 2024 at 8:20 PM
ICFP/SPLASH’25 social track is going to be lit.
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...
**Thursday, January 16**
less than a week away!
conf.researchr.org/track/icfp-s...
ICFP/SPLASH 2025 - Workshops and Co-located Events - ICFP/SPLASH 2025
The joint ICFP/SPLASH 2025 conference will host a variety of workshops and co-located conferences, allowing their participants to meet and discuss research questions with peers, to mature new and exci...
conf.researchr.org
January 10, 2025 at 3:10 PM
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...
**Thursday, January 16**
less than a week away!
conf.researchr.org/track/icfp-s...
Doing some field work for the ICFP/OOPSLA service role @ilyasergey.bsky.social found for me.
November 22, 2024 at 3:45 PM
Doing some field work for the ICFP/OOPSLA service role @ilyasergey.bsky.social found for me.
And if you’re interested in OxCaml, we have a tutorial on Sunday at ICFP walking through it conf.researchr.org/track/icfp-s... (materials will be online for anyone afterwards. Just the minor detail of finishing writing them first)
October 3, 2025 at 2:32 PM
And if you’re interested in OxCaml, we have a tutorial on Sunday at ICFP walking through it conf.researchr.org/track/icfp-s... (materials will be online for anyone afterwards. Just the minor detail of finishing writing them first)
in case you missed it, ICFP 2026 is sponsored by Anduril, who have gotten themselves a booth at the conference for the low, low price of almost 5 full student registrations
icfp26.sigplan.org
(and don't forget your Anduril merch swag bag!)
icfp26.sigplan.org
(and don't forget your Anduril merch swag bag!)
July 14, 2026 at 3:11 PM
in case you missed it, ICFP 2026 is sponsored by Anduril, who have gotten themselves a booth at the conference for the low, low price of almost 5 full student registrations
icfp26.sigplan.org
(and don't forget your Anduril merch swag bag!)
icfp26.sigplan.org
(and don't forget your Anduril merch swag bag!)
If you're planning to connect with others at the OCaml Workshop 2025 in October:
Here's a page that could be useful!
Here's a page that could be useful!
OCaml Users and Developers Workshop 2025 | LinkedIn
The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system, and tools. Previous editions have been co-located with ICFP 2012 in Copenhagen, ICFP 2013 in Boston, ICFP 2014 in Gothenburg, ICFP 2015 in Vancouver, ICFP 2016 in Nara, ICFP 2017 in Oxford, ICFP 2018 in St Louis, ICFP 2019 in Berlin, ICFP 2020 virtually, ICFP 2021 virtually, ICFP 2022 in Ljubljana, ICFP 2023 in Seattle, and ICFP 2024 in Milan.
OCaml 2025 will be held on October 17th, 2025, in Singapore. It will be a hybrid event with the same streaming modalities as OCaml 2024, allowing people to attend and even give talks remotely.
dlvr.it
September 3, 2025 at 11:35 PM
If you're planning to connect with others at the OCaml Workshop 2025 in October:
Here's a page that could be useful!
Here's a page that could be useful!
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!
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!
October 14, 2025 at 12:27 PM
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!
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!