@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
12.10.2025 06:10 — 👍 1 🔁 1 💬 0 📌 0
The room was packed for @activegroupgmbh.bsky.social's Markus Schlegel remote talk on Functional UI Paradigms. #funarch2025
12.10.2025 03:54 — 👍 2 🔁 2 💬 1 📌 0
Gabriele Keller showing us the architecture of a layered certifying compiler. #funarch2025
12.10.2025 03:09 — 👍 3 🔁 3 💬 0 📌 0
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...
FUNARCH2025 just one week away. Safe travels and see you in Singapore!
conf.researchr.org/home/icfp-sp...
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...
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...
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...
16.06.2025 11:45 — 👍 4 🔁 4 💬 0 📌 0
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...
09.06.2025 11:14 — 👍 3 🔁 4 💬 0 📌 0
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
Second link broke! Use this one instead: functional-architecture.org/events/funar...
19.03.2025 21:20 — 👍 1 🔁 1 💬 0 📌 0
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
Photo of Markus Schlegel giving his talk
. @activegroupgmbh.bsky.social's Markus Schlegel reports on bidirectional data transformations and their use in industrial practice.
06.09.2024 14:09 — 👍 4 🔁 2 💬 0 📌 0
Photo of Marc Kaufmann and Bogdan Popa giving their talk.
Marc Kaufmann and Bogdan Popa tell us what continuations have ever done for us at #FUNARCH2024.
06.09.2024 12:50 — 👍 2 🔁 1 💬 0 📌 0
Photo of James Chapman giving his talk.
James Chapman talks about the use of formal methods to implement the Cardano blockchain.
06.09.2024 12:13 — 👍 2 🔁 1 💬 0 📌 0![[ICFP'24] Meeting 6 - FUNARCH (Sep 6th)](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:rkfegs6hlxwad7qynof4qf7z/bafkreifddyjwmk7udbu6qh4nb4xa5rs6jxgklxxmk2f3zzpdzgqccnmpb4@jpeg)
BTW, you can watch the #FUNARCH2024 livestream here (resuming in a half hour):
www.youtube.com/watch?v=cX8y...
Photo of Mohit Tekriwal giving his talk.
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
06.09.2024 09:48 — 👍 1 🔁 1 💬 0 📌 0
Photo of Mohit Tekriwal giving his talk.
Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!
06.09.2024 09:48 — 👍 1 🔁 1 💬 0 📌 0
Photo of Weixi Ma giving his talk.
Weixi Ma talks about the F3 compiler for feature engineering at #FUNARCH2024!
06.09.2024 09:16 — 👍 1 🔁 1 💬 0 📌 0
Photo of Marco Sampellegrini giving his keynote.
Marco Sampellegrini starts off #FUNARCH2024 with his keynote on Architecting Functional Programming!
06.09.2024 07:38 — 👍 1 🔁 1 💬 0 📌 0
The proceedings for FUNARCH 2024 are available online - see you next week in Milan! dl.acm.org/doi/proceedi...
29.08.2024 06:38 — 👍 1 🔁 1 💬 0 📌 0
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...
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...
21.07.2024 12:34 — 👍 1 🔁 1 💬 0 📌 0We're happy to announce the program for FUNARCH 2024 is complete - Marco Sempellegrini will do the keynote!
07.07.2024 16:24 — 👍 1 🔁 1 💬 0 📌 0
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...
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...
03.06.2024 14:38 — 👍 2 🔁 2 💬 0 📌 0
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...
03.06.2024 14:38 — 👍 2 🔁 2 💬 0 📌 0
Not even two weeks to go until the deadline on Monday, June 3: Send us your paper on FP in the large - to the SIGPLAN Workshop on Functional Software Architecture! functional-architecture.org/events/funar...
23.05.2024 07:57 — 👍 1 🔁 1 💬 0 📌 0
Submit to the 2nd SIGPLAN Workshop on Functional Software Architecture #FUNARCH2024 - send us your take on how to do software development in the large with FP! Deadline is June 3! functional-architecture.org/events/funar...
24.04.2024 15:22 — 👍 1 🔁 1 💬 0 📌 0The Call for Papers for #FUNARCH2024 is open - deadline is June 3rd. Send us research papers, experience reports, architectural pearls, or submit to the open category! functional-architecture.org/events/funar...
13.03.2024 12:41 — 👍 0 🔁 0 💬 0 📌 0
