For over a decade, Lambda Days has brought the functional programming worlds of academia and industry together. The collision of practical application and research has offered an exciting fresh approach, regardless of your level of expertise.
Whether you’re new to Lambda Days or you are one of the many friendly faces we see regularly at our events, we are happy to get excited about Lambda together with you.
Come to beautiful, sunny Krakow for Lambda Days to find out what is possible with functional programming - explore the latest in battle-tested Scala, Erlang and Haskell, experience the energy that F# and Elixir bring to the table, connect with the innovators working with Elm, Luna and Ocaml and see what will come next!
Day 1
May 27, 2024
Tap on hour to see the talks
8:00 - 9:00
REGISTRATION
9:00 - 9:30
WELCOME
10:20 - 10:50
COFFEE BREAK
10:50 - 11:35
11:40 - 12:25
Gradualize your language with set-theoretic types
Guillaume Duboc
11:40 - 12:25
Far more than you've ever wanted to know about ADTs
Nicolas Rinaudo
12:25 - 13:30
LUNCH BREAK
13:30 - 14:15
David Turner Memorial Panel
David Turner Memorial Panel
John Hughes
Simon Thompson
Lennart Augustsson
Jeremy Gibbons (online)
13:30 - 14:15
Embedding of external DSLs in Scala: why and how!
Juan Manuel Serrano Hidalgo
13:30 - 14:15
SAFE Stack: The Pit of Success for Functional Web Programming
Isaac Abraham
15:10 - 15:30
The Y Combinator: developing intuition around abstract recursion
Dave Kimber
15:30 - 16:00
COFFEE BREAK
16:25 - 16:45
From 1 to 100k users: Lessons learned from scaling a Haskell app
Felix Miño
16:50 - 17:40
Keynote: 30+ years of modelling communicating systems in a functional style
Dame Muffy Calder
17:40 - 17:50
CLOSING NOTES
18:00 - 20:00
AFTERPARY (different location)
Day 2
May 28, 2024
Tap on hour to see the talks
8:30 - 9:00
REGISTRATION
9:00 - 9:10
WELCOME
9:10 - 10:00
Keynote: Algebraic Effect Handlers with Parallelizable Computations
Ningning Xie
10:05 - 10:50
Lightning talks
10:50 - 11:20
COFFEE BREAK
11:20 - 12:05
The Functional Edge: Robotic Testing with Bowler Studio and Clojure
Thomas Gebert
11:20 - 12:05
Automata Unveiled: A Theoretical Exploration of State Machines
Nelson Vides
12:10 - 12:30
WasmRef-Isabelle – or how to formally verify a not-slow interpreter with not-insane amount of effort
Maja Trela
12:10 - 12:30
Cellular Automata for video games
Maciej Gorywoda
12:30 - 13:30
LUNCH BREAK
13:30 - 14:20
Keynote: The Two Cultures of Artifical Intelligence
Philip Wadler
14:25 - 15:10
The design and implementation of embedded Domain Specific Languages
Pieter Koopman
Mart Lubbers
14:25 - 15:10
Functional Platform Engineering with Scala and Pulumi
Łukasz Biały
15:10 - 15:40
COFFEE BREAK
15:40 - 16:00
Detecting Noninterference Violations with Property-Based Testing
Fernanda Andrade
15:40 - 16:00
Well-typed Programs Can Go Wrong: Enhancing the Reliability of Type Checkers in Compilers
Thodoris Sotiropoulos
15:40 - 16:00
A Scientific Document Management System (Elm + Lamdera)
James Carlson
16:55 - 17:10
CLOSING NOTES
The Very Early Bird sale starts mid-January 2024 and will be exclusive to those who sign up to the Waiting List.
Looking for discounts?
* 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.
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.
As always we’re doing our best to make sure our conference is as diverse and awesome as the community we serve.
Thanks to the support from Standard Chartered we can distribute 5 tickets among participants from groups underrepresented in IT.
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:
HYATT PLACE KRAKOW ****
Aleja 3 Maja 47a, 30-062 Kraków
PRICES:
-20% off the full price published on the hotel website
To book and get an attendee discount remember to contact krakow.place@hyatt.com using the password "LAMBDA DAYS"
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"
Why should you attend Lambda Days 2024? (a.k.a. "why can’t I just watch the talk videos online for free instead…?")
Firstly, not all the videos will be published right after the conference and will be kept exclusive to the attendees for a couple months.
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!
SUBSCRIBE TO OUR NEWSLETTER
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:
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: 10/12/2023, second selection: 14/01/2024
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
Łukasz Sowa
Managing Partner @ Iterators, Scala aficionado
Samantha Wójtowicz
Embedded software developer flirting with Clojure
Radek Szymczyszyn
Tech Lead @ Erlang Solutions
We believe in the importance of nurturing the next generation of tech talent, and we’re dedicated to making our conference accessible to students from all backgrounds.
With support from Ahrefs, our Student Sponsor we can provide opportunities for students to engage with industry experts, network with peers, and immerse themselves in the world of Functional Programming.