Lambda Days is a place where academia meets industry, where research and practical application collide.
2021 Lambda Days goes virtual but also becomes a fundraiser.
Once again we join forces with Trends in Functional Programming (TFP) and Trends in Functional Programming in Education (TFPiE) so that for four days you can be at the centre of the functional programming world.
Find out what is possible with functional programming - explore the latest in battle-tested Scala, Erlang and Haskell, experience the energy F# and Elixir bring to the table, connect with the innovators working with Elm, Luna and Ocaml, see what comes up next!
Schedule of Lambda Days Conference 2021 is in the Central European Time Zone: 12.00:18.00 (CEST)
The 2021 edition of Lambda Days is a new frontier for us. Promoting the latest, best and coolest in functional programming is still our no 1 priority, but a couple of new items popped into the agenda. We want to support and build the community we got to know and love, but with all that's happening in the world, we feel we are responsible for more.
Subscribe to our newsletter to learn what we have in mind to stand out among other virtual events and how you can use your passion for awesome tech to #CodeForGood.
SUBSCRIBE TO OUR NEWSLETTER
Final preparations for Lambda Days 2021 are in full swing!
You can have a taste of the February event by joining our completely free and open meetup: Dependent Types - salvation or plague?
This panel discussion will be hosted by our well-known Lambda Days Program Committee member, John Huges, and attended by guests with enthusiastic, or not that much, views on types. Guests include Stephanie Weirich, Edwin Brady, Adam Chlipala and Thorsten Altenkirch.
Still a student? Get a special ticket for €26. 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 the full priced tickets. Contact us directly for details.
Day 1
February 16, 2021
TFPiE | TFPiE | |
12:00 - 12:10 | WELCOME - Central European Time Zone | |
12:10 - 13:10 |
Kaynote: Industry versus academia? Learning and teaching programming Francesco Cesarini Simon Thompson |
|
13:10 - 13:40 | HELLO TABLES (time for mingling) | |
13:40 - 14:30 | 2 TFPIE Talks | 2 TFPiE Talks |
14:30 - 14:40 | COFFEE BREAK | |
14:40 - 15:30 | 2 TFPIE Talks | 2 TFPiE Talks |
15:30 - 15:40 | COFFEE BREAK | |
15:40 - 16:30 | 2 TFPIE Talks | 2 TFPiE Talks |
16:30 - 16:40 | COFFEE BREAK | |
16:40 - 17:40 |
Keynote: Functorio - having fun with functional programming Bartosz Milewski |
|
17:40 - 18:10 |
3 Ask The Experts Sessions Special Guests |
Tap on hour to see the talks
12:00 - 12:10
WELCOME - Central European Time Zone
13:10 - 13:40
HELLO TABLES (time for mingling)
13:40 - 14:30
2 TFPIE Talks
13:40 - 14:30
2 TFPiE Talks
14:30 - 14:40
COFFEE BREAK
14:40 - 15:30
2 TFPIE Talks
14:40 - 15:30
2 TFPiE Talks
15:30 - 15:40
COFFEE BREAK
15:40 - 16:30
2 TFPIE Talks
15:40 - 16:30
2 TFPiE Talks
16:30 - 16:40
COFFEE BREAK
17:40 - 18:10
Day 2
February 17, 2021
LAMBDA DAYS | TFP | |
12:00 - 13:00 |
Keynote: Writing good programs in functional languages: who, why, how? Perdita Stevens |
|
13:00 - 13:10 | COFFEE BREAK | |
13:10 - 14:00 |
TBA José Valim |
2 TFP Talks |
14:00 - 14:20 | MEET THE SPONSORS | |
14:20 - 14:30 | COFFEE BREAK | |
14:30 - 15:20 |
TBA Anil Madhavapeddy |
TBA |
15:20 - 15:30 | COFFEE BREAK | |
15:30 - 16:20 |
Sound on BEAM: Music in the Land of Distributed Lisp Duncan McGreggor |
2 TFP Talks |
16:20 - 16:30 | COFFEE BREAK | |
16:30 - 17:30 |
Keynote: Hardware as Software Pat Hanrahan |
|
17:30 - 18:00 | GOODBYE TABLES |
Tap on hour to see the talks
13:00 - 13:10
COFFEE BREAK
14:00 - 14:20
MEET THE SPONSORS
14:20 - 14:30
COFFEE BREAK
15:20 - 15:30
COFFEE BREAK
15:30 - 16:20
2 TFP Talks
16:20 - 16:30
COFFEE BREAK
16:30 - 17:30
17:30 - 18:00
GOODBYE TABLES
Day 3
February 18, 2021
LAMBDA DAYS | TFP | |
12:00 - 13:00 |
Keynote: Excel meets Lambda Simon Peyton Jones Andy Gordon |
|
13:00 - 13:10 | COFFEE BREAK | |
13:10 - 14:00 |
Building Full-Stack Web Applications with Safe Stack Ody Mbegbu |
2 TFP Talks |
14:00 - 14:20 | MEET THE SPONSORS | |
14:20 - 14:30 | COFFEE BREAK | |
14:30 - 15:00 | ASK THE EXPERTS | ASK THE EXPERTS |
15:00 - 15:10 | COFFEE BREAK | |
15:10 - 16:00 |
Functional Programming: the Glue for Introducing Computing through Data Science Kathi Fisler |
Correct-by-Construction Cryptographic Arithmetic in Coq Adam Chlipala |
16:00 - 16:10 | COFFEE BREAK | |
16:10 - 17:00 |
Generating Programs from Types Nadia Polikarpova |
2 TFP Talks |
17:00 - 17:30 | GOODBYE TABLES |
Tap on hour to see the talks
12:00 - 13:00
13:00 - 13:10
COFFEE BREAK
13:10 - 14:00
2 TFP Talks
14:00 - 14:20
MEET THE SPONSORS
14:20 - 14:30
COFFEE BREAK
14:30 - 15:00
ASK THE EXPERTS
14:30 - 15:00
ASK THE EXPERTS
15:00 - 15:10
COFFEE BREAK
16:00 - 16:10
COFFEE BREAK
17:00 - 17:30
GOODBYE TABLES
Day 4
February 19, 2021
LAMBDA DAYS | TFP | |
12:00 - 13:00 |
Keynote: (Programming Languages) in Agda = Programming (Languages in Agda) Philip Wadler |
|
13:00 - 13:10 | COFFEE BREAK | |
13:10 - 14:00 |
Secrets of type-driven program synthesis Edwin Brady |
2 TFP Talks |
14:00 - 14:20 | LIGHTNING TALKS | |
14:20 - 14:30 | COFFEE BREAK | |
14:30 - 15:20 | TBA | TBA |
15:20 - 15:30 | COFFEE BREAK | |
15:30 - 16:20 |
Adventures in the browser and Node.js without writing (much) JavaScript (using PureScript) Susan Potter |
2 TFP Talks |
16:20 - 16:30 | COFFEE BREAK | |
16:30 - 17:30 | KEYNOTE |
Tap on hour to see the talks
13:00 - 13:10
COFFEE BREAK
14:00 - 14:20
LIGHTNING TALKS
14:20 - 14:30
COFFEE BREAK
14:30 - 15:20
TBA
14:30 - 15:20
TBA
15:20 - 15:30
COFFEE BREAK
15:30 - 16:20
Adventures in the browser and Node.js without writing (much) JavaScript (using PureScript)
Susan Potter
15:30 - 16:20
2 TFP Talks
16:20 - 16:30
COFFEE BREAK
16:30 - 17:30
KEYNOTE
This year we want to make sure our impact is tangible and lasts. See what happens when you commit to #CodeForGood. 2021 Lambda Days goes virtual but also becomes a fundraiser. Each of our 6 keynotes will choose a charity we will donate to in their name.
Want to support this initiative even more? You can donate extra to the fundraiser in the registration section.
This year, due to an online format, Lambda Days committee will solicit presentation for all our tracks. Still, you can submit your paper either to TFP or TFPiE tracks.
22nd International Symposium on Trends in Functional Programming
The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions.
More information can be found HERE.
Submission deadline for pre-symposium review: 20th November 2020.
Submission deadline for draft papers: 15th January 2021.
International Workshops on Trends in Functional Programming in Education
This year many teaching programmes have had to make a rapid transition to online teaching, and we explicitly solicit papers that explore this area of teaching functional programming.
After the workshop (16.02), presenters are invited to submit (a revised version of) their article for review. The PC will select the best articles that will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
More information can be found HERE.
Submission deadline: 11th January 2021.
John Hughes
Co-Designer Of Haskell And Quickcheck
Mary Sheeran
Professor at Chalmers
Steven Proctor
Functional Geekery / DFW Erlang user group
Lennart Augustsson
Principal Programmer, Epic Games
Michał Ślaski
Technical Lead @Erlang Solutions
As always we’re doing our best to make sure our conference is as diverse and awesome as the community we serve.
Our Organiser, Erlang Solutions sponsored 5 tickets to be distributed among participants from groups underrepresented in IT.
Great news! If you missed our Lambda Days catering and you live in Krakow (or areas), you are now very welcome to make an order and have a Lambda lunch at your place!
To respond your requests, for the first time we have created Lambda Days e-shop with conference swag! You can now not only participate in our Lambda Days 2021 virtual experience, but also order LD t-shirts, sweatshirts, mugs and many more items, from the comfort of your couch.
Please note, Code Sync the organisers of Lambda Days, do not charge any additional fees or make any profit from the sale of these items. 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.