Kraków | Poland
Next year's dates: 12-13 June 2025
Thank you for attending the 11th edition of Lambda Days!
For over a decade, this event 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.
Get access to exclusive Very Early Bird tickets and be the first to get news about the 2025 event! Just subscribe to the Waiting Lst:
Programme
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
An Effect-ful functional framework for TypeScript
Alberto Schiabel
11:40 - 12:25
Gradualize your language with set-theoretic types
Guillaume Duboc
11:40 - 12:25
Define your own rules: dynamic system behavior control at runtime
Veronika Yastrebova
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 Session
David Turner Memorial Session
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
14:20 - 15:05
Bidirectional Data Transformations with Functional Optics
Marcus Crestani
14:20 - 15:05
Lustre Universal Components: the best of Elm and Phoenix LiveView
Hayleigh Thompson
15:10 - 15:30
Imagine a Dependently Typed Python.
Andor Pénzes
15:10 - 15:30
The Y Combinator: developing intuition around abstract recursion
Dave Kimber
15:30 - 16:00
COFFEE BREAK
16:00 - 16:45
Types and other techniques as an accessibility tool for the ADHD brain
Michael Newton
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 - 21:30
AFTERPARY at the N'JOY & Billard (Bracka 4, 2nd floor)
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
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.
DIVERSITY TICKETS
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.
Apply to get yours!
First deadline: 22/04/2024 (recipients chosen)
Second deadline: 30/04/2024 (if recipients do not confirm, tickets are redistributed)
Volunteers
Want to join one of the most exciting IT conferences in Europe free of charge? Join our team as a volunteer!
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:
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"
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 WAITING LIST FOR 2025
.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: 10/12/2023, second selection: 14/01/2024
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
Łukasz Sowa
Managing Partner @ Iterators, Scala aficionado
Samantha Wójtowicz
Embedded software developer flirting with Clojure
Radek Szymczyszyn
Tech Lead @ Erlang Solutions
STUDENT TICKETS
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.
Apply now for your chance to join us!
First deadline: 15/04/2024 (recipients chosen)
Second deadline: 21/04/2024 (if recipients do not confirm, tickets are redistributed)
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.
