Kraków | Poland
Thank you for participating in the 9th edition of Lambda Days, which for the first time was organised as HYBRID event!
Lambda Days is a place where academia meets industry, where research and practical application collide.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!
We continued the collaboration with Trends in Functional Programming (TFP) and Trends in Functional Programming in Education (TFPiE), which took place virtually in March 2022. These speakers had the opportunity to present their works on the Lambda Days stage in July.
Programme
Day 1
July 28, 2022
Tap on hour to see the talks
8:00 - 9:00
Registration
9:00 - 9:30
WELCOME
9:30 - 10:30
KEYNOTE: Building a Haskell-to-Hardware compiler: Theory & Practice
Christiaan Baaij
10:30 - 11:00
COFFEE BREAK
11:00 - 11:45
Attack Of The Clones: Multiplayer Online Game in Clojure
Mey Beisaron
11:25 - 11:45
Towards Incremental Language Definition with Reusable Components
Damian Frolich
12:40 - 13:40
LUNCH BREAK
13:40 - 14:25
Architectural dilemma: thread per request vs. thread pool per operation
Krzysztof Płachno
13:40 - 14:00
Teaching Interaction using State Diagrams
Christopher Schankula
14:05 - 14:25
Engaging Large-Scale Functional Programming Education in Physical and Virtual Space
Lukas Stevens
Kevin Kappelmann
14:35 - 14:55
Teaching Functional Programmers Logic and Metatheory
Frederik Krogsdal Jacobsen
15:20 - 15:50
COFFEE BREAK
16:45 - 17:45
17:55 - 18:40
Lightning Talks
18:45 - 22:00
AFTER PARTY
Day 2
July 29, 2022
Tap on hour to see the talks
8:30 - 9:00
Registration
9:00 - 9:15
WELCOME
9:15 - 10:15
KEYNOTE: What every programmer should know about cognition
Felienne Hermans
10:15 - 10:45
COFFEE BREAK
10:45 - 11:05
Embedding Generic Monadic Transformer into Scala. (can we return concurrent programming into mainstream?)
Ruslan Shevchenko
11:40 - 12:25
Using smoke and mirrors to compile a functional programming language to efficient GPU code
Troels Henriksen
12:25 - 13:25
LUNCH BREAK
13:25 - 14:10
What’s new in Gradualizer? Type checking Erlang and Elixir
Radek Szymczyszyn
13:25 - 14:10
osnap! Painless and massive regression test generation for OCaml
Valentin Chaboche
13:25 - 14:10
YATA: collaborative documents and how to make them fast
Bartosz Sypytkowski
14:20 - 15:05
Predicting and Preventing Chaos with Formal Methods in TLA+
Thomas Gebert
15:05 - 15:35
COFFEE BREAK
15:35 - 16:20
Anosy: Approximate Knowledge Synthesis with Refinement Types
Niki Vazou
15:35 - 16:20
A case study about Comparative Programming Languages' Energy Consumption
Aleksander Lisiecki
17:30 - 17:45
Closing notes
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
Łukasz Sowa
Managing Partner @ Iterators
Katja Mordaunt
Tech-for-better dev & elm advocate<
Radek Szymczyszyn
Tech Lead @ Erlang Solutions
Mey Beisaron
Backend Developer at AppsFlyer
Michał Piotrowski
Tech Lead @ Erlang-Solutions
Adam Warski
SoftwareMill
TFP AND TFPIE REGISTRATION
We continue the collaboration with Trends in Functional Programming (TFP) and Trends in Functional Programming in Education (TFPiE), which take place virtually on 17-18 March and 16 March 2022. These speakers will also have the opportunity to present their works on the Lambda Days stage in July.
Submitting the online form registers you for the combined event.
23nd 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.
International Workshops on Trends in Functional Programming in Education
The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop.
More information can be found HERE.
SPONSORS
DIVERSITY & INCLUSION SPONSOR
STUDENT SPONSOR
PLATINUM SPONSOR
GOLD SPONSOR
SILVER SPONSOR
KEYNOTE SPONSOR
WHO'S IN THE MIX
ORGANIZERS
.png)
TRENDS IN FUNCTIONAL PROGRAMMING ORGANIZERS
TRENDS IN FUNCTIONAL PROGRAMMING IN EDUCATION ORGANIZERS
RESEARCH TRACK
PARTNERS
MEDIA PARTNERS
Going hybrid
February is coming close and though the pandemic situation is not yet fully contained, we’re optimistic to meet with you in Krakow and we will make sure not only to deliver a great experience, but also that it’s delivered in a safe environment. However, we’re also keeping in mind that by then not everyone will be able to travel, therefore, we’ve decided to make Lambda Days a hybrid event, combining both an in-person and virtual conference.
There will be two different categories of tickets going on sale at the same time - for the in-person conference (Lambda Days, TFP and TFPiE) and for virtual conference attendance (Lambda Days two tracks through two days).
Trends in Functional Programming and Trends in Functional Programming in Education will not be a part of virtual experience.
COVID-19 SAFETY GUIDELINES
Your safety and the safety of others is of the utmost importance to us as organisers. The government has now removed the remaining domestic restrictions in Poland. There are still steps you can take to reduce the risk of catching and spreading COVID-19:
- Get vaccinated,
- Consider wearing a face mask in crowded, enclosed spaces.
During the conference, we will ensure that:
- We will limit how many attendees can be in one room following the guidelines from the Polish Health Authorities and the venue, should the restrictions be reintroduced
- Attendees will be seated facing the same direction during the talks
- Sanitizers will be available at the venue
- Money-back guarantee if we have to postpone the conference.
E-SHOP
To respond your requests, for the second time we have created Lambda Days e-shop with conference swag! You can now not only participate in our Lambda Days 2022 hybrid experience, but also order LD t-shirts ((included in the in-person 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.