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

The room was packed for @activegroupgmbh.bsky.social'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/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...

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...

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

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

. @activegroupgmbh.bsky.social'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.

James Chapman talks about the use of formal methods to implement the Cardano blockchain.

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

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

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!

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

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

We're looking forward to seeing your for FUNARCH 2024 on September 6 in Milan. Note that you'll need to register via the @[email protected] 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...

We're happy to announce the program for FUNARCH 2024 is complete - Marco Sempellegrini will do the keynote!

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...

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...

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...

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...

The 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...

The ACM SIGPLAN Workshop on Functional Software Architecture will return in 2024, co-located once again with @icfp_conference. Perdita Stevens and @sperbsen.bsky.social will chair.