Kraków | Poland
For over a decade, Lambda Days has united the worlds of functional programming in academia and industry. This fusion of research and real-world applications continues to spark fresh ideas - no matter your level of expertise.
Whether you're a first-time attendee or a familiar face, we're thrilled to explore the future of functional programming with you!
Join us in beautiful, sunny Krakow to push the boundaries of what’s possible. Dive into battle-tested Scala, Erlang, and Haskell, feel the energy of F#, Elixir or Gleam, connect with the minds shaping Elm, Luna, and OCaml - and discover what comes next!
REGISTER
The Super Early Bird sale starts mid-February 2025 and will be exclusive to those who sign up to the Waiting List.
Attend for free?!
We have free tickets funded by our sponsors, Standard Chartered and Erlang Solutions. If you feel you meet the criteria for a Diversity & Inclusion place or a Community Support place, please apply.
Looking for discounts?
- Students! Get a special in-person ticket for 360PLN (+ VAT and fees). Contact us regarding student tickets and/or volunteering options.
- Dear Lambda Ladies - we can't get enough of you! Ask your companies if they want to pay your fee. For each Lambda Lady in a party, everyone gets 10%* off the regular price, adding up to 50% off the entire order.
- Bring a party! Notice a group ticket (4 or more people) with a discount on the list. Also, check above if the Lambda Ladies discount doesn't apply (above).
* Total discount cannot go over 50%, the offer applies to invoices issued for group reservations per order (the company receives a discount only for a single order, not for the potential following purchases).
Discounts only apply to full-priced tickets and can't be combined. Contact us directly for details.
Programme
Day 1
June 12, 2025
Tap on hour to see the talks
8:00 - 9:00
REGISTRATION
9:00 - 9:15
WELCOME
9:15 - 10:05
Keynote: AI for Mathematical Discovery: Symbolic, Neural and Neuro-Symbolic Methods
Moa Johansson
10:05 - 10:35
COFFEE BREAK
10:35 - 11:20
From ‘Java Sucks’ to ‘Java…Eh, Not Bad’: How Vert.x & Java 21 Made Me Stop Complaining
Thomas Gebert
11:25 - 12:10
Haskell for FPGA design: It's easy as 1 - 2 - 3 ... 419,200
Gergő Érdi
11:25 - 11:45
From Clojure to Elixir: Leveraging Functional Programming for Scalable, Sustainable Web Apps
Wendy Randolph
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
14:00 - 14:45
Functional, Dynamic, and Built for Production: Why Clojure and Datomic Excel in Real-World Systems
Jordan Miller
14:50 - 15:10
Create your first Language Server in Haskell
Arthur Jamet
15:10 - 15:40
COFFEE BREAK
15:40 - 16:00
Local-First App Development with Event Sourcing: A Functional Approach in Kotlin
Merlin Pahic
15:40 - 16:00
Going functional and immutable: Refactoring solution with 30k+ loc from C# to F#
Daniel Ondus
16:05 - 16:25
LLMs will not replace Automated keyword extraction
Kimberley Huizing
17:20 - 17:30
CLOSING NOTES
17:40 - 20:00
DRINKS
Day 2
June 13, 2025
Tap on hour to see the talks
9:00 - 9:10
WELCOME
9:10 - 10:00
Keynote: Making Capabilities Safe and Convenient
Martin Odersky
10:05 - 10:50
Lightning Talks
10:50 - 11:20
COFFEE BREAK
11:20 - 11:40
Automating Type-Driven Development with (Co)algebras
Juan Manuel Serrano Hidalgo
11:45 - 12:30
An Introduction to Effectful Programming in Flix
Magnus Madsen
11:45 - 12:30
Shoehorning dependency injection into a FP language, what does it take?
Eric Torreborre
12:30 - 13:30
LUNCH BREAK
13:30 - 14:15
Flavors of Scala - Spicing up your coding style
Michał Pawlik
Michał Płachta
13:30 - 14:15
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
14:20 - 15:05
Functional programming in robotics
Natalia Chechina
15:05 - 15:30
COFFEE BREAK
15:55 - 16:45
Keynote: Open Embedded Sound Processing and Synthesis With Faust
Romain Michon
16:45 - 17:00
CLOSING NOTES
PRE-CONFERENCE MEETUP
Start Lambda Days with an informal meetup organised by Erlang Solutions! Join us on 11 June at Hevre for beer and great conversations - with two engaging talks to kick things off.
Register for free via meetup.com. Please note that space is limited, so RSVP to confirm your attendance.
DIVERSITY & INCLUSION TICKETS
Thanks to the support from Standard Chartered we can distribute 5 tickets among participants from groups underrepresented in IT, with a focus on supporting women, people from ethnic minorities, individuals with disabilities, and others who might not otherwise be able to attend.
Apply to get yours!
First deadline: 8/05/2025 (recipients chosen)
Second deadline: 14/05/2025 (unconfirmed tickets are redistributed)
COMMUNITY TICKETS
We are pleased to announce the Lambda Days 2025 Global Community Support Programme, made possible through the generous sponsorship of Erlang Solutions.
This initiative seeks to increase access to the conference by supporting students, startups, and individuals new to functional programming.
Apply to get yours!
First deadline: 8.05.2025 (recipients chosen)
Second deadline: 14.05.2025 (if recipients do not confirm, tickets are redistributed)
Volunteer
Want to join one of the most exciting IT conferences in Europe free of charge? Join our team as a volunteer!
Become a sponsor!
We need support from the community to make Lambda Days the best event it can possibly be. In return, we offer sponsors the opportunity to showcase technology and hire new talent. Sponsorship will also align your company with cutting-edge technology, engage and raise brand awareness with over 400 functional programming professionals. Explore our sponsorship possibilities and receive our brochure by sending us an email.
HOTELS
We managed to secure rooms at a special B&B rate per night for Lambda Days guests. Use the following links to get better prices at:
Grand Ascot Hotel ****
ul. Józefa Szujskiego 4 31-123 Kraków
PRICES:
Double room for single use: 570 PLN
Double room: 620 PLN
Breakfast is included.
To book and get an attendee discount contact rezerwacja@grandascot.pl and use the password "Lambda Days".
Offer is valid till 5.06.2025
HOTEL UNICUS ****
ul. Św. Marka 20, 31-020 Kraków
PRICES:
-20% off the full price published on the hotel website
To check the attendee price and book contact recepcja@hotelunicus.pl using the password "Lambda Days"
HYATT PLACE KRAKOW****
Aleja 3 Maja 47a, 30-062 Kraków
PRICES:
-20% off the full price published on the hotel website
To check the attendee price and book contact krakow.place@hyatt.com using the password "Lambda Days"
DON'T MISS OUT!
Why should you attend Lambda Days? (a.k.a. "why can’t I just watch the talk videos online for free instead…?")
Firstly, the videos will be kept exclusive to the attendees for some time.
But mostly: because of the people! The greatest asset of any conference is the community behind it. The Lambda Days crowd is inquisitive, open-minded, friendly and known to motivate each other to learn and innovate.
They ask the right questions, recommend the best talks, point to concepts to explore, inspire and challenge preconceptions at every turn.
Want to make the most of the content our speakers prepare? Experience it live with a crowd of people as excited about it as you are!
JOIN THE NEWSLETTER
.png)
CALL FOR TALKS
Are you interested in presenting your thoughts on the subject of functional programming? Submit your presentation!
As of now we have identified the followig areas our audience would love to hear about:
- Functional languages
- Type Theory
- Testing & Verification
- Software and system design
- Reactive Programming
- Web programming
- Computation in functional technologies
- Applications and case studies
Is your presentation slightly outside that scope? Amaze and inspire us with your submission!
We’re happy to support candidates from under-represented groups in the software development community.
If you have not spoken at conferences before or need help in preparing, our programme committee members are happy to mentor and assist you with their feedback in the planning and delivery stages of your talk.
The first round of reviews will take place in January, The second round can be cancelled if we receive enough submissions in the first round.
DEADLINES: first selection: 9/01/2025, second selection: 9/02/2025
Programme committee
John Hughes
Co-Designer Of Haskell And Quickcheck
Mary Sheeran
Professor at Chalmers
Simon Thompson
Computer science researcher @ University of Kent and ELTE
Katja Mordaunt
Tech-for-better dev & elm advocate
Philip Wadler
Co-creator of Haskell, Professor @ University of Edinburgh
Łukasz Sowa
Managing Partner @ Iterators, Scala aficionado
Samantha Wójtowicz
Embedded software developer flirting with Clojure
Radek Szymczyszyn
Tech Lead @ Erlang Solutions
Code of Conduct
Our conference is dedicated to providing a harassment-free conference experience for everyone, regardless of gender, sexual orientation, disability, physical appearance, body size, race, or religion. We do not tolerate harassment of conference participants in any form. Sexual language and imagery is not appropriate for any conference space, including talks, workshops, parties, Twitter and other online media.
Conference participants violating these rules may be sanctioned or expelled from the conference without a refund at the conference organisers' discretion.
Please bring any concerns to the immediate attention of the event staff, or contact our Event Coordinator, Barbara Trojecka using our contact form. We thank our attendees for their help in keeping the event welcoming, respectful, and friendly to all participants.
