FUNARCH

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

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

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

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/proceeding…

FUNARCH2025 just one week away. Safe travels and see you in Singapore! #FUNARCH-2025-Call-for-Papers" target="_blank" rel="nofollow noopener">conf.researchr.org/home/icfp-spla…

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! #Call-for-lightning-talks" target="_blank" rel="nofollow noopener">conf.researchr.org/home/icfp-spla…

This weekend is your last chance for the early registration discount! Register by Aug 31 for a better rate: icfp25.sigplan.org/attending/regi… 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!)

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! conf.researchr.org/home/icfp-spla…

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! #About" target="_blank" rel="nofollow noopener">conf.researchr.org/home/icfp-spla… #FUNARCH2025

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! #FUNARCH-2025-Call-for-Papers" target="_blank" rel="nofollow noopener">conf.researchr.org/home/icfp-spla…

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-spla… #FUNARCH2025

Second link is broken. Use this one instead: functional-architecture.org/events/funarch…

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! #FUNARCH-2025-Call-for-Papers" target="_blank" rel="nofollow noopener">conf.researchr.org/home/icfp-spla… functional-architecture.org/events/funarch

. @activegroupgmbh’s Markus Schlegel reports on bidirectional data transformations and their use in industrial practice.

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

. @jmchapman_ talks about the use of formal methods at @InputOutputHK to implement the Cardano blockchain.

It's official: ICFP 2025 will be in Singapore!!

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

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

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