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: https://t.co/KViNNapz9f

FUNARCH2025 just one week away. Safe travels and see you in Singapore! https://t.co/ltXzIO95vZ

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://t.co/kIM9usrxKI

This weekend is your last chance for the early registration discount! Register by Aug 31 for a better rate: https://t.co/NxtVAbmkjn 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! https://t.co/XozCdBfW9o

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://t.co/8c4fGwJ4VK #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!

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! https://t.co/XozCdBfW9o #FUNARCH2025

Second link is broken. Use this one instead:

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://t.co/ltXzIO8xGr https://t.co/8D2i5VJJJg

. @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): https://t.co/r3aQDPBFzF

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 !

#FUNARCH2024 starts off with Marco Sampellegrini @_alpacaaa giving his keynote on Architecturing Functional Programs.