Lambda World

Come on, my monads!

The prophet of AI safety is going to preach to all functional lovers in our next edition of Lambda World. We’re talking about Erik Meijer, one of the key figures in bringing functional programming concepts into everyday software development. Tomorrow is your last chance: – to submit your proposal for the Call for Papers – to grab the cheapest ticket available Stop wrapping your decision in a lazy evaluation or an unresolved Promise… it’s time to await submit(). Don't keep your monads at home, bring them to and share it with the functional community NOW! - www.lambda.world #AI #FunctionalProgramming #Community

Hello FP community 👋 Do you know who’s coming to Málaga this April? ElixirConf® EU 2026 will gather 600+ attendees, with keynotes from José Valim and Chris McCord, plus 40+ talks covering Phoenix, LiveView, AI/ML, and production-ready systems. As Europe’s premier Elixir conference, it’s a unique opportunity to connect with the community, share knowledge, and strengthen your presence in the functional programming ecosystem. We’re truly excited to support this amazing event from the functional ecosystem coming to our beloved Málaga, and we can’t wait to welcome everyone with open arms. Join us and don’t miss it! See you in Málaga 🇪🇸 https://lnkd.in/dGNaRCQ  #ElixirLang #FunctionalProgramming #Erlang #ElixirConf #FPCommunity

From safety-critical software to distributed systems and cryptographic protocols, formal verification is becoming increasingly relevant in both current and future software development. And within this formal verification, SMT solvers are the intelligence allowing the development process to be efficient, scalable and trustworthy, part of top languages and proof assistants like Liquid Haskell or Lean. 👇 The Mastermind behind Refinement Types, with my (amazing!) partner in crime Jorge Luis Mayoral Pérez at Lambda World ' 25 https://lnkd.in/eJQS7HNv

GREAT NEWS FOR THE 𝐅𝐏 𝐂𝐎𝐌𝐌𝐔𝐍𝐈𝐓𝐘! Until now, the talks from the last edition of Lambda World were only available in a limited way. Now, we’re opening them all free and publicly available for everyone. Don´t miss the talks from: - Dr Caroline Morton, Zainab Ali, Lennart Augustsson, Mikhail Zarechenskii, Anurag M., Alcides Fonseca, Damián Soriano, Jack Higgs, Jayanth Manklu, Ignacio Gallego Sagastume, Jorge Luis Mayoral Pérez, Juan José Madrigal Martínez, Alexander Gryzlov, Sonja Heinze, Carine Morel, Jordi Pradel, Adam Granicz, Volodymyr Yaroslavskyi, Stefano Candori, Adrian Ramirez Fornell, Wendy Randolph and Isaias Bartelborth. Don´t forget to submit your paper for this year's edition and get your ticket now that the price is ridiculous cheap!!! Link to our youtube channel: https://lnkd.in/egCy6Fvn Link to this year's event tickets and CFP: www.lambda world #FunctionalProgramming #TypeTheory #CategoryTheory #FormalVerification #EffectSystems

More Christmas gifts before Christmas? Check out the video of the talk "Starship Enterprise: Functional Programming at Huge Companies" by Jack Higgs in our last Lambda World https://lnkd.in/eZwUkyEY Remember that 𝐓𝐢𝐜𝐤𝐞𝐭𝐬 are already 𝐚𝐯𝐚𝐢𝐥𝐚𝐛𝐥𝐞 and our 𝐂𝐚𝐥𝐥 𝐅𝐨𝐫 𝐏𝐚𝐩𝐞𝐫𝐬 is open for our next edition! When: 𝐎𝐜𝐭𝐨𝐛𝐞𝐫 𝟐𝟗-𝟑𝟎, 𝟐𝟎𝟐𝟔 Where: 𝐏𝐚𝐥𝐚𝐜𝐢𝐨 𝐝𝐞 𝐂𝐨𝐧𝐠𝐫𝐞𝐬𝐨𝐬 𝐝𝐞 𝐓𝐨𝐫𝐫𝐞𝐦𝐨𝐥𝐢𝐧𝐨𝐬, Malaga, Spain. How: 𝐰𝐰𝐰.𝐥𝐚𝐦𝐛𝐝𝐚.𝐰𝐨𝐫𝐥𝐝 #FunctionalProgramming #Scala #SoftwareEngineering

𝐆𝐎𝐎𝐃 𝐌𝐎𝐍𝐀𝐃𝐒! 𝐁𝐈𝐆 𝐍𝐄𝐖𝐒 𝐅𝐎𝐑 𝟐𝟎𝟐𝟔! Santa 🎅 decided to come a couple of days early this year… and he’s bringing the BIG announcement for 2026 🎁 For the first time ever, Lambda World joins forces with J On The Beach and Wey Wey Web in THE YAY-YAY CONF. A mega-event with up to 4 parallel tracks, where attendees will enjoy talks and workshops on our favourite topics: Functional Programming, Category Theory, Formal Verification, Plus Systems, DevOps, User Interfaces & UX. All of this, and of course, talks and workshops on Software Engineering and AI. But wait… that’s not even the best part, folks! 👉 No more excuses if your company won’t pay for your ticket. We’re launching a limited edition of just 150 tickets at only €100 + VAT, exclusively for those whose companies politely refuse to support them. And yes: ✅ 𝐂𝐚𝐥𝐥 𝐟𝐨𝐫 𝐏𝐚𝐩𝐞𝐫𝐬 are NOW OPEN for all three events ✅ 𝐒𝐩𝐨𝐧𝐬𝐨𝐫𝐬𝐡𝐢𝐩 opportunities are also available So now you know. Don’t be a monad. 👉 Get your ticket. NOW. 𝐓𝐡𝐞 𝐘𝐚𝐲-𝐘𝐚𝐲 𝐂𝐨𝐧𝐟 📍 Where: Palacio de Congresos de Torremolinos, Málaga, Spain 📅 When: October 29–30, 2026 🎟️ Tickets: www.lambda.world/tickets #FunctionalProgramming #CategoryTheory #FormalVerification #DistributedSystems #DevOps #SoftwareEngineering #AI #YayYayConf #LambdaWorld #JOnTheBeach #WeyWeyWeb #CFP #DevEvents

🔵 IMDEA Software at Lambda World 2025! 💻 IMDEA Software participated in this international conference on functional programming, connecting with researchers and companies to explore the latest trends. 👉 Check out the full article: https://c.madrid/39owh

Our non-pro photos from the last Lambda World edition are now available on our Flickr account! Check them out! https://lnkd.in/d7yHXgcC A big thanks to David Mazarro for the good ones ;) #FunctionalProgramming #LambdaWorld25

"AI isn’t taking your job, but your company might start by cutting mine." I have written a blog post about the last Lambda World I organised last month in Cadiz. Check it! https://lnkd.in/dm6K8i6d #TechConferences #EventManagement