Lambda Days
is a one of a kind experience in the functional world.

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)

DON'T MISS OUT!

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


Open free meetup!

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.

Does the future belong to dependent types… or not? Are they a cute toy, or the Next Big Thing? Should you be planning to use them in your next project (or the next but ten), and if so, where and how should you start? What are the swings and roundabouts you should be aware of? Our panelists are leading the adoption of dependent types in a variety of programming languages, and have deep insights into how they scale in practice. Join us to learn if dependent types will be a part of your future!

Need a refresher? We’ll be starting at the beginning, but we will be going fast—if you’d like to prepare a little in advance, I recommend watching Thorsten Altenkirch’s video “The power of Π” (from last year’s Lambda Days).

Reister here to save a seat!

REGISTER

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.

Schedule of Lambda Days Conference 2021 in the Central European Time Zone (CET) 

Programme

Day 1

February 16, 2021


Day 2

February 17, 2021


Day 3

February 18, 2021


Day 4

February 19, 2021


CHARITY

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.


SELECTED ORGANIZATIONS

Speakers

Perdita Stevens

Professor at University of Edinburgh

Ody Mbegbu

Building a Custom Type Provider

Nadia Polikarpova

Assistant Professor at UC San Diego

Pat Hanrahan

Professor of Computer Science and Electrical Engineering in the Computer Graphics Laboratory at Stanford University

José Valim

Creator of Elixir, Chief Adoption Officer @ Dashbit

Susan Potter

Functional programmer

Simon Thompson

Researcher, author and teacher

Francesco Cesarini

Co-author of Designing for scalability with Erlang/OTP

Kathi Fisler

Computer Science Professor at Brown University and Bootstrap co-Director

Edwin Brady

Creator of the Idris programming language

Duncan McGreggor

Lisper, Erlanger, and LFE core contributor

Joanna Sharrad

PhD student at the University of Kent

Philip Wadler

Co-creator of Haskell, Professor of Theoretical Computer Science at University of Edinburgh

Karolina Iwańska

Panoptykon Foundation & Mozilla Fellow

Bartosz Milewski

BartoszMilewski.com

Zhenjiang Hu

Head of Department of Computer Science and Technology @ Peking University

Yusuf Motara

Trying to make functional programming as accessible as possible

Andy Gordon

Head of Calc Intelligence, Microsoft Research

Simon Peyton Jones

Lead designer of the Glasgow Haskell Compiler, Principal researcher at Microsoft Research

Adam Chlipala

Researcher in scaling machine-checked proofs and advanced FP ideas

Taine Zhao

General-purpose Python JIT? Is the free lunch coming?

Michał J. Gajda

Science-based solutions

Monem Shennat

PhD student @ University of Victoria, searching Dimensional Analysis for Data-flow programming

Vít Šefl

PhD student researching typed FP

KC Sivaramakrishnan

Professor & Hacker at IIT Madras leading the Multicore OCaml project.

Victor Winter

Creator of Bricklayer and the general-purpose transformation system TL

Dmitry Boulytchev

HaSCoL, OCanren, LaMa

Jørgen Villadsen

Formally Verified Functional Programming

Junya Nose

programming education, programming environment

Mart Lubbers

Interpreting Functional programs on microcontrollers since 2016

Damian Frolich

Exploring the unknown

Olivier Melançon

M.Sc. student @ UdeM

Daniel Melcer

Student at Northeastern University

Péter Bereczky

Machine-checked formal semantics for verifying refactorings!

Pieter Koopman

Types make your life safer and easier

Dániel Horpácsi

Assistant Professor at ELTE Budapest

Magnus O. Myreen

CakeML developer: https://cakeml.org/

Marco T. Morazán

FSM CIO and a Design Recipe for all

Philip Munksgaard

PhD Student at University of Copenhagen

Special Guests

Q&A meetings

Thinking Elixir

ThinkingElixir

Kamil Grondys

Solution architect at Samsung R&D

Call For Papers

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.

Programme committee

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

Volunteers

Want to join one of the most exciting IT conferences in Europe free of charge? Join our team as a volunteer!

SPONSORS

DIVERSITY & INCLUSION SPONSOR

GOLD SPONSOR

SILVER SPONSORS

MEDIA PARTNERS


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 10 tickets among participants from groups underrepresented in IT.

Apply to get yours!

First deadline: 31/01/2021 (recipients chosen)

Second deadline: 05/02/2021 (if recipients do not confirm, tickets are redistributed)

WHO'S IN THE MIX

ORGANIZERS

TRENDS IN FUNCTIONAL PROGRAMMING ORGANIZERS

TRENDS IN FUNCTIONAL PROGRAMMING IN EDUCATION ORGANIZERS

PARTNERS

Let's have a lunch together

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!

Special 10% discount code works for all orders at Modern Catering shop with a delivery between 15th and 20th February 2021. Code: LAMBDA21.

E-SHOP

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.

Code of Conduct

All attendees, speakers, sponsors and volunteers at our conference are required to agree with the following code of conduct. Organisers will enforce this code throughout the event. We are expecting cooperation from all participants to help ensuring a safe environment for everybody.

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

CODE OF CONDUCT



facebook icon twitter icon


Privacy Policy