Kraków | Poland
Next year's dates: 27-28 May 2024
Thank you for celebrating with us our 10th anniversary and making it so special!
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.
Whether you’re new to Lambda Days or you are one of the many friendly faces we see regularly at our events, we were happy to celebrate 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:
- Verse is the new programming language, designed at Epic Games as language of the metaverse. Simon Peyton Jones and Tim Sweeney will give us a sense of what it is, and what functional logic programming is about with their Keynote talk.
- If you would like to learn a new approach to programming and delivering distributed systems, don't miss the presentation about Unison, which introduces a new perspective by combining effect systems and abilities.
- Building a system is only the first step to its success, the next one is making sure it will stay alive. Concurrency and the actor model can help with load testing a system and making sure the SLAs are met.
- Grasp how to make a safe and stable continuous deployment pipeline with highly distributed and stateful services - a battle story and lessons learnt talk.
- Local-first software is getting more and more traction. Get to know more about it and see how functional programming helps with this new paradigm in a talk on ElectricSQL.
- Functional programming can be seen in so many areas of the IT space. If you ever wondered how FP can be used with Postgres, now you can learn about TimescaleDB and how it helps build functional pipelines.
- Interested in Blockchain? Watch a case study from which we will learn what helped build a successful, real-time and distributed blockchain network in Haskell that helped save millions of dollars of wasted effort.
Programme
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 Globally Distributed Blockchain
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
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.
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.
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
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
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
DON'T MISS OUT!
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
.png)
E-SHOP
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.
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.
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.
Contact
FOR SPONSORSHIP AND GENERAL INFO:
Want to learn more? HERE are some stats on 2018
