Functional Architecture

Gabriele Keller showing us the architecture of a layered certifying compiler. #funarch2025

Hello everyone,

I am happy to announce that the Functional Architecture workshop has been accepted to this years ICFP!

The Call for Papers for FUNARCH2026 is open - **deadline is June 1st**! Send us research papers, experience reports, architectural pearls, or submit to the open category! The idea behind the workshop is to cross pollinate the software architecture and functional programming discourse, and to share techniques for constructing large long-lived systems in a functional language.

See workshop's home page (https://icfp26.sigplan.org/home/funarch-2026) for more information.

See you in Indianapolis!

The room was packed for @activegroupgmbh@discuss.systems Markus Schlegel's remote talk on Functional UI Paradigms. #funarch2025

@activegroupgmbh@discuss.systems Michael Sperber reports on the last six years of training functional software architects. #funarch2025

We've extended the deadline for FUNARCH 2025 to June 23rd.
Know something about what makes functional programming work in the large? Write it up!
https://conf.researchr.org/home/icfp-splash-2025/funarch-2025

Today is the day! Make sure you don't miss today’s deadline to submit to The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large! https://conf.researchr.org/home/icfp-splash-2025/funarch-2025#About

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! https://conf.researchr.org/home/icfp-splash-2025/funarch-2025

. @jmchapman@mastodon.social talks about the use of formal methods to implement the Cardano blockchain.

Marco Sampellegrini starts off #FUNARCH2024 with his keynote on Architecting Functional Programs!

FUNARCH2025 just one week away. Safe travels and see you in Singapore!
https://conf.researchr.org/home/icfp-splash-2025/funarch-2025#FUNARCH-2025-Call-for-Papers

FUNARCH 2025 call for lightning talks is up! Come give a 5-10 minute presentation about your hexagonal architecture, or the system that you've architected in a functional language, or your experience using FP in the large!

https://conf.researchr.org/home/icfp-splash-2025/funarch-2025#Call-for-lightning-talks

Marc Kaufmann and Bogdan Popa tell us what continuations have ever done for us at #FUNARCH2024.

Only a single week to go until the deadline on Monday, June 16th: Send us your paper on FP in the large - to the SIGPLAN Workshop on Functional Software Architecture! Happy Writing! https://conf.researchr.org/home/icfp-splash-2025/funarch-2025#FUNARCH-2025-Call-for-Papers

. @activegroupgmbh@discuss.systems's Markus Schlegel reports on bidirectional data transformations and their use in industrial practice at #FUNARCH2024.

Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!

The proceedings for FUNARCH 2024 are available online - see you next week in Milan! https://dl.acm.org/doi/proceedings/10.1145/3677998

The Call for Papers for #FUNARCH2025 is open - deadline is June 16th! Send us
research papers, experience reports, architectural pearls, or submit to the open
category! https://conf.researchr.org/home/icfp-splash-2025/funarch-2025#FUNARCH-2025-Call-for-Papers

BTW, you can watch the #FUNARCH2024 livestream here (resuming in a half hour):
https://www.youtube.com/watch?v=cX8yWBMKCO4

Weixi Ma talks about the F3 compiler for feature engineering at #FUNARCH2024 !

Today's the day! FUNARCH 2025 begins at 1100 in Seminar room 8. Also, FUNARCH 2025 proceedings are now available online:

https://dl.acm.org/doi/proceedings/10.1145/3759163