Functional Architecture
banner
funarch.bsky.social
Functional Architecture
@funarch.bsky.social
ACM SIGPLAN Workshop on Functional Software Architecture

https://functional-architecture.org/
@activegroupgmbh.bsky.social Michael Sperber reports on the last six years of training functional software architects. #funarch2025
October 12, 2025 at 6:10 AM
The room was packed for @activegroupgmbh.bsky.social's Markus Schlegel remote talk on Functional UI Paradigms. #funarch2025
October 12, 2025 at 3:54 AM
Gabriele Keller showing us the architecture of a layered certifying compiler. #funarch2025
October 12, 2025 at 3:09 AM
Today's the day! FUNARCH 2025 begins at 1100 in Seminar room 8. Also, FUNARCH 2025 proceedings are now available online:

dl.acm.org/doi/proceedi...
Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Software Architecture | ACM Conferences
dl.acm.org
October 12, 2025 at 1:26 AM
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!
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 software...
conf.researchr.org
August 29, 2025 at 8:08 PM
We've extended the deadline for FUNRARCH 2025 to June 23rd.
Know something about what makes functional programming work in the large? Write it up!
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
June 17, 2025 at 11:48 AM
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! 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
June 16, 2025 at 11:45 AM
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! 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
June 9, 2025 at 11:14 AM
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-sp...

#FUNARCH2025
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
May 13, 2025 at 11:28 AM
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!
conf.researchr.org/home/icfp-sp...

functional-architecture.org/events/funarch
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 19, 2025 at 9:18 PM
. @activegroupgmbh.bsky.social's Markus Schlegel reports on bidirectional data transformations and their use in industrial practice.
September 6, 2024 at 2:09 PM
Marc Kaufmann and Bogdan Popa tell us what continuations have ever done for us at #FUNARCH2024.
September 6, 2024 at 12:50 PM
James Chapman talks about the use of formal methods to implement the Cardano blockchain.
September 6, 2024 at 12:13 PM
BTW, you can watch the #FUNARCH2024 livestream here (resuming in a half hour):
www.youtube.com/watch?v=cX8y...
[ICFP'24] Meeting 6 - FUNARCH (Sep 6th)
YouTube video by ACM SIGPLAN
www.youtube.com
September 6, 2024 at 11:30 AM
Reposted by Functional Architecture
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
September 6, 2024 at 9:48 AM
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
September 6, 2024 at 9:48 AM
Weixi Ma talks about the F3 compiler for feature engineering at #FUNARCH2024!
September 6, 2024 at 9:16 AM
Marco Sampellegrini starts off #FUNARCH2024 with his keynote on Architecting Functional Programming!
September 6, 2024 at 7:38 AM
The proceedings for FUNARCH 2024 are available online - see you next week in Milan! dl.acm.org/doi/proceedi...
Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture | ACM Conferences
dl.acm.org
August 29, 2024 at 6:38 AM
We're looking forward to seeing your for FUNARCH 2024 on September 6 in Milan.
Note that you'll need to register via the @icfp_conference@bird.makeup site - early registration deadline is tomorrow!
icfp24.sigplan.org/attending/re...
Registration - ICFP 2024
The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024.
icfp24.sigplan.org
August 2, 2024 at 2:48 PM
The program for #FUNARCH2024 is up! We have a diverse lineup, ranging from experience report on applied functional software architecture to formal methods! functional-architecture.org/events/funar...
FUNARCH 2024 | Functional Architecture
"Functional Software Architecture" refers to methods of construction and structure of large and long-lived software projects that are implemented in functional languages and released to real users, ty...
functional-architecture.org
July 21, 2024 at 12:34 PM
We're happy to announce the program for FUNARCH 2024 is complete - Marco Sempellegrini will do the keynote!
July 7, 2024 at 4:24 PM
We've extended the deadline for FUNRARCH 2024 to June 12th.
Know something about what makes functional programming work in the large? Write it up!
functional-architecture.org/events/funar...
FUNARCH 2024 - Call for Papers | Functional Architecture
The Second ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large
functional-architecture.org
June 4, 2024 at 10:19 AM
Reposted by Functional Architecture
Make sure you don't miss today’s deadline to submit to The Second ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large! functional-architecture.org/events/funar...
FUNARCH 2024 - Call for Papers | Functional Architecture
The Second ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large
functional-architecture.org
June 3, 2024 at 2:38 PM