For nearly 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. This year, we’re celebrating our 10th anniversary and we want to make it special.
Whether you’re new to Lambda Days or you are one of the many friendly faces we see regularly at our events, we look forward to celebrating 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!
Some of the highlights this year:
Day 1
June 5, 2023
Tap on hour to see the talks
8:00 - 9:00
REGISTRATION
9:00 - 9:30
WELCOME
9:30 - 10:30
Keynote: Why Functional Programming Matters to Kids
Michał Ślaski
10:30 - 11:00
COFFEE BREAK
11:00 - 11:45
Towards Clearly Defined Doubt and Uncertainty: Probabilistic Design-Time Modelling for a Real-Time G
Kevin Hammond
11:00 - 11:45
Daml - more than a smart contract language
Jarek Ratajski
11:25 - 11:45
Keeping real-time auctions running during rollout. From white-knuckle to continuous deployments
Rafał Studnicki
11:55 - 12:15
Tauri: Build Secure and Reliable Native Apps using Rust and Elm
Jonas Kruckenberg
12:40 - 13:40
LUNCH BREAK
13:40 - 14:55
How to Find the Right Rhythm for your Software Composition
Jordan Miller
14:35 - 14:55
Examples of easy dependently typed programming (in Idris)
Andor Pénzes
14:55 - 15:25
COFFEE BREAK
15:25 - 16:25
Panel discussion: The future of types in programming languages
Simon Peyton Jones
15:25 - 16:25
Panel discussion: Teaching, Learning, and Evangelism
Joseph Yiasemides
16:35 - 16:45
CLOSING NOTES
18:30 - 22:00
Afterparty (location: Aquarius Restaurant)
Day 2
June 6, 2023
Tap on hour to see the talks
8:30 - 9:00
REGISTRATION
9:00 - 9:15
WELCOME
9:15 - 10:15
Keynote: Beyond functional programming: a taste of Verse
Simon Peyton Jones
Tim Sweeney
10:25 - 10:55
Lightning Talks/pitch sessions about future of FP
10:55 - 11:25
COFFEE BREAK
12:20 - 13:20
LUNCH BREAK
13:20 - 14:05
Concurrent All the Way Down (Functional Concurrency with Libretto)
Tomas Mikula
13:20 - 14:05
Why Design Your Own Levels When Your Computer Can Do It?
Thomas Gebert
13:20 - 13:40
Designing a programming language for local reasoning and simple debugging
Robin H. Hansen
15:00 - 15:30
COFFEE BREAK
15:30 - 16:15
QuickCheck Dynamic - testing hard properties and staying sane
Maximilian Algehed
16:25 - 17:25
Keynote: General Purpose, Generative or Foundation: how to regulate Large Language Models
Filip Konopczyński
17:25 - 17:40
CLOSING NOTES
Still a student? Get a special in-person ticket for 550PLN (+ VAT and fees) Contact us regarding discounts and volunteering options.
Also: 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 even 50% off the entire order.
* 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. Contact us directly for details.
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 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.
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.
We’re also accepting talks for our Research Track - share your theoretical work with a large, diverse audience of scholars and practitioners. Additionally, you will have the opportunity to have your paper published in Computer Science (indexed in ESCI WoS and SCOPUS) journal. Just mark the correct field on the form to let us know if you are interested in having your work submitted for the journal.
The first round of reviews will take place in December. The second round in January can be cancelled if we receive enough submissions in the first round.
DEADLINES: first selection: 11/12/2022, second selection: 15/01/2023
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
Radek Szymczyszyn
Tech Lead @ Erlang Solutions
Mey Meisaron
Backend Developer at AppsFlyer
Michał Piotrowski
Tech Lead @ Erlang-Solutions
Mateusz Paciorek
Computer science researcher @ AGH University of Science and Technology
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: 510 PLN
Double room: 570 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 29.05.2023
HOTEL UNICUS PALACE *****
ul. Floriańska 28, 31-021 Kraków
PRICES:
-20% off the full price published on the hotel website
To check the attendee price and book contact recepcja@hotelunicuspalace.pl 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"
HOTEL PURO KRAKOW OLD TOWN ****
ul. Ogrodowa 10, 31-155 Kraków
PRICES:
-20% off the full price published on the hotel website
To check the attendee price and book contact krakow@purohotel.pl using the password "Lambda Days" or click on this link PURO Hotel Kraków Old Town
Why should you attend Lambda Days 2023? (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
To respond to your requests, we've added the minimalistic anniversary design to our e-shop with conference swag! You can now not only participate in Lambda Days 2023 but also order LD t-shirts (included in the ticket!), sweatshirts, mugs and many more items, from the comfort of your couch.
All items are ordered directly with Spreadshirt but are branded with the official Lambda Days branding. The store was created for our community but is a third-party supplier. Any issues with the items should be directed to the supplier and not Code Sync.
FOR SPONSORSHIP AND GENERAL INFO:
Want to learn more? HERE are some stats on 2018