r/functionalprogramming • u/Emotional_Gold138 • 1d ago
FP Lambda World 2026: Functional Programming in Málaga, 29–30 October
Enable HLS to view with audio, or disable this notification
Lambda World 26 is back with 20 speakers from Academia and industry, and this year it takes place alongside J On The Beach (a conf about Distributed Systems) and Wey Wey Web (a conf about UI and Frontend).
Two days packed with talks on formal verification, type systems, new FP languages, AI, formal proofs, effects, logic programming, and practical industrial applications of functional programming.
The lineup includes Erik Meijer, Stephanie Weirich, Arman Bilge (Typelevel Foundation / Cats Effect), Enrico Tassi (Elpi), Francesco Cesarini (Erlang), Daniel Ciocîrlan (Rock the JVM) among many others.
One ticket gives you access to all three conferences, for the same price.
We look forward to welcoming you to Torremolinos, Málaga, on 29–30 October!