Lightnews — Scholar-powered news

Functional Architecture @funarch.bsky.social · 7h

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

Functional Architecture @funarch.bsky.social · 9h

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

1

Functional Architecture @funarch.bsky.social · 10h

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

1

Functional Architecture @funarch.bsky.social · 12h

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

1

Functional Architecture @funarch.bsky.social · 6d

FUNARCH2025 just one week away. Safe travels and see you in Singapore!
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

5 3

Functional Architecture @funarch.bsky.social · Aug 29

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

4 6

Functional Architecture @funarch.bsky.social · Jun 17

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

2 1

Functional Architecture @funarch.bsky.social · Jun 16

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

4 4

Functional Architecture @funarch.bsky.social · Jun 9

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

4 3

Functional Architecture @funarch.bsky.social · May 13

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

4 2

Functional Architecture @funarch.bsky.social · Mar 19

Second link broke! Use this one instead: functional-architecture.org/events/funar...

Functional Software Architecture

functional-architecture.org

1 1

Functional Architecture @funarch.bsky.social · Mar 19

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

1 8 7

Functional Architecture @funarch.bsky.social · Sep 6

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

Photo of Markus Schlegel giving his talk

2 4

Functional Architecture @funarch.bsky.social · Sep 6

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

Photo of Marc Kaufmann and Bogdan Popa giving their talk.

1 2

Functional Architecture @funarch.bsky.social · Sep 6

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

1 2

Functional Architecture @funarch.bsky.social · Sep 6

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

Reposted by Functional Architecture

Functional Architecture @funarch.bsky.social · Sep 6

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

Photo of Mohit Tekriwal giving his talk.

1 1

Functional Architecture @funarch.bsky.social · Sep 6

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

1 1

Functional Architecture @funarch.bsky.social · Sep 6

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

1 1

Functional Architecture @funarch.bsky.social · Sep 6

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

Photo of Marco Sampellegrini giving his keynote.

1 1

Functional Architecture @funarch.bsky.social · Aug 29

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

1 1

Functional Architecture @funarch.bsky.social · Aug 2

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

Registration - ICFP 2024

The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024.

icfp24.sigplan.org

1 1

Functional Architecture @funarch.bsky.social · Jul 21

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

1 1

Functional Architecture @funarch.bsky.social · Jul 7

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

1 1

Functional Architecture @funarch.bsky.social · Jun 4

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

1 1