Lambda Days 2025

Day 1

8:00 - 9:00 - REGISTRATION

9:00 - 9:15 - WELCOME

9:15 - 10:05: Keynote: AI - Moa Johansson

10:05 - 10:35 - COFFEE BREAK

10:35 - 11:20:

• What is Functional Programming? - Adam Warski
• Your docs are a program - Zainab Ali
• From Clojure to Elixir: Leveraging Functional Programming for Scalable, Sustainable Web Apps - Wendy Randolph

11:25 - 11:45:

• Haskell for FPGA design: It's easy as 1 - 2 - 3 ... 419,200 - Gergő Érdi
• From Clojure to Elixir: Leveraging Functional Programming for Scalable, Sustainable Web Apps - Wendy Randolph
• The Laws of Infrastructure - Łukasz Biały

11:50 - 12:10: Model-based development and analysis of distributed systems with Elixir and mCRL2 - Dominik Katkó

12:10 - 13:10 - LUNCH BREAK

13:10 - 13:55:

• Choreographing Distributed Systems: A Functional Approach - Paweł Szulc
• Painting with functions in Cyfra - Szymon Rodziewicz
• Yolc - A safe, expressive, fun language for Ethereum - Miao ZhiCheng

14:00 - 14:45:

• Anatomy of a Scala Game Server - Pierre Ricadat
• Functional, Dynamic, and Built for Production: Why Clojure and Datomic Excel in Real-World Systems - Jordan Miller
• Hoogle for the Hungry Masses! - Farhad Mehta

14:50 - 15:10:

• Create your first Language Server in Haskell - Arthur Jamet
• Your Website as a Function From URL to HTML - Markus Schlegel
• Profunctor User Interfaces - Eryk Ciepiela

15:40 - 16:00:

• Haskell is Eating my Rails App from the Inside Out - Brian Carroll
• Local-First App Development with Event Sourcing: A Functional Approach in Kotlin - Merlin Pahic
• Going functional and immutable: Refactoring solution with 30k+ loc from C# to F# - Daniel Ondus

16:05 - 16:25:

• Your Backend is Too Complicated - Isaac Harris-Holt
• LLMs will not replace Automated keyword extraction - Kimberley Huizing

16:30 - 17:20: Keynote: Making Our Own Luck - Evan Czaplicki

17:20 - 17:30 - CLOSING NOTES

17:40 - 20:00 - DRINKS

Day 2

9:00 - 9:10 - WELCOME

9:10 - 10:00: Keynote: TBC - Martin Odersky

10:05 - 10:50: Lightning Talks

10:50 - 11:20 - COFFEE BREAK

11:20 - 11:40:

• Autology: Writing a self-rewriting Lisp - Dave Kimber
• You don't need an ORM - Giacomo Cavalieri

11:45 - 12:30:

• An Introduction to Effectful Programming in Flix - Magnus Madsen
• Shoehorning dependency injection into a FP language, what does it take? - Eric Torreborre
• Programming a Language - Nicolas Rinaudo

12:30 - 13:30 - LUNCH BREAK

13:30 - 14:15:

• Effect Systems in Practice - Hécate C
• Flavors of Scala - Spicing up your coding style - Michał Pawlik, Michał Płachta
• Scala and TypeScript Synergy: Developing a real-time collaborative text editor - Mihaela Gheorghe-Roman

14:20 - 15:05:

• Suspension: the magic behind composability (or "The Kyo Monad") - Flavio Brasil
• Functional programming in robotics - Natalia Chechina
• Electrifying Norway with F# and DDD - Almir Mesic

15:05 - 15:30 - COFFEE BREAK

15:30 - 15:50:

• Testing functional UIs - Hayleigh Thompson
• Production Haskell Regrets - Jezen Thomas
• Beyond Purity and Functions: The Real Reason FP Matters - Haemin Yoo

15:55 - 16:45: Keynote: Faust and music - Romain Michon

16:45 - 17:00 - CLOSING NOTES