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)
Day 1
February 16, 2021
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)
14:30 - 14:40
COFFEE BREAK
15:30 - 15:40
COFFEE BREAK
15:40 - 16:05
15:40 - 16:30
16:05 - 16:30
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 |
Introducing Nx José Valim |
Constructive Bidirectional Programming Zhenjiang Hu |
14:00 - 14:20 | MEET THE SPONSORS | |
14:20 - 14:30 | COFFEE BREAK | |
14:30 - 14:55 |
Effective Programming in OCaml KC Sivaramakrishnan |
Dynamic Creation of Well-Typed DSL Expressions Pieter Koopman |
14:55 - 15:20 |
Asynchronous Shared Data Sources Mart Lubbers |
|
15:20 - 15:30 | COFFEE BREAK | |
15:30 - 15:55 |
Sound on BEAM: Music in the Land of Distributed Lisp Duncan McGreggor |
Locating Type Errors Speedily with Delta Debugging Joanna Sharrad |
15:55 - 16:20 |
Program Equivalence in Sequential Core Erlang Péter Bereczky Dániel Horpácsi |
|
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
13:10 - 14:00
13:10 - 14:00
14:00 - 14:20
MEET THE SPONSORS
14:20 - 14:30
COFFEE BREAK
14:55 - 15:20
15:20 - 15:30
COFFEE BREAK
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 - 13:35 |
Building Full-Stack Web Applications with Safe Stack Ody Mbegbu |
A generic back-end for exploratory programming Damian Frolich |
13:35 - 14:00 |
Fast XML/HTML for Haskell: XML TypeLift Michał J. Gajda |
|
14:00 - 14:20 | MEET THE SPONSORS | |
14:20 - 14:30 | COFFEE BREAK | |
14:30 - 15:00 |
3 Ask The Expert Sessions (II) Special Guests |
|
15:00 - 15:05 | COFFE BREAK | |
15:05 - 15:35 | Dylan Beattie unplugged | |
15:35 - 15:40 | COFFEE BREAK | |
15:40 - 16:05 |
Correct-by-Construction Cryptographic Arithmetic in Coq Adam Chlipala |
|
16:05 - 16:30 |
Multicloud bindings from web pages Michał J. Gajda |
|
16:30 - 16:40 | COFFEE BREAK | |
16:40 - 17:05 |
Generating Programs from Types Nadia Polikarpova |
ProofViz: An Interactive Visual Proof Explorer Daniel Melcer |
17:05 - 17:30 |
Dimensional Analysis for Multidimensional Dataflow Programming Monem Shennat |
|
17:30 - 18:00 | GOODBYE TABLES |
Tap on hour to see the talks
12:00 - 13:00
13:00 - 13:10
COFFEE BREAK
13:10 - 13:35
A generic back-end for exploratory programming
Damian Frolich
13:35 - 14:00
14:00 - 14:20
MEET THE SPONSORS
14:20 - 14:30
COFFEE BREAK
14:30 - 15:00
15:00 - 15:05
COFFE BREAK
15:05 - 15:35
Dylan Beattie unplugged
15:35 - 15:40
COFFEE BREAK
16:05 - 16:30
16:30 - 16:40
COFFEE BREAK
17:30 - 18:00
GOODBYE TABLES
Day 4
February 19, 2021
Tap on hour to see the talks
13:00 - 13:10
COFFEE BREAK
13:10 - 14:00
14:00 - 14:20
LIGHTNING TALKS
14:20 - 14:30
COFFEE BREAK
14:55 - 15:20
15:20 - 15:30
COFFEE BREAK
16:20 - 16:30
COFFEE BREAK
16:30 - 17:30
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.
Thanks to the support from Standard Chartered we can distribute 10 tickets 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.