www.lambdadays.org Open in urlscan Pro
35.242.199.200  Public Scan

Form analysis
0 forms found in the DOM

Text Content

Lambda Days uses cookies to improve and personalize your experience. The site
may also include cookies from third parties. By using this site you consent to
the use of cookies. Cookie Policy
GOT IT
 * 
 * Speakers
 * Programme
 * Register
 * Diversity tickets
 * Students
 * TFP & TFPIE
 * Sponsors
 * Volunteer
 * Going hybrid
 * SAFETY
 * Venue
 * Hotels
 * Sponsorship
 * Other events
   * Lambda Days 2021
   * Lambda Days 2020
   * Lambda Days 2019
   * Lambda Days 2018
   * Lambda Days 2017
   * Lambda Days 2016
   * Lambda Days 2015
   * Lambda Days 2014
   * Code Sync

λ






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

28-29 July 2022
Kraków | Poland

Lambda Days is a place where academia meets industry, where research and
practical application collide. Due to the ongoing risks of the pandemic, we've
made the decision to move the conference from February to 28-29 July 2022.  

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 continue the collaboration with Trends in Functional Programming (TFP) and
Trends in Functional Programming in Education (TFPiE), which take place
virtually in March 2022. These speakers will also have the opportunity to
present their works on the Lambda Days stage in July.

To make sure everyone felt safe and comfortable, two Lambda Days tracks will be
run a HYBRID tracks, combining both an in-person and virtual experience. Read
more about it here.






SPEAKERS

Felienne Hermans

Programming is easy

--------------------------------------------------------------------------------

Christiaan Baaij

Making circuit design fun for programmers

--------------------------------------------------------------------------------

David Nolen

Tools for Thought

--------------------------------------------------------------------------------

Ju Liu

I make sourdough pizza from scratch

--------------------------------------------------------------------------------

Thomas Gebert

An eccentric math enthusiast and wannabe intellectual

--------------------------------------------------------------------------------

Lennart Augustsson

Grumpy old man

--------------------------------------------------------------------------------

Sam Aaron

Sonic Pi creator

--------------------------------------------------------------------------------

Mey Beisaron

Software Engineer, public speaker and mentor

--------------------------------------------------------------------------------

Krzysztof Płachno

Scala Data Engineer at SwissBorg

--------------------------------------------------------------------------------

Jeroen Engels

Tooling author

--------------------------------------------------------------------------------

James Carlson

Minilatex.io

--------------------------------------------------------------------------------

Eva Darulova

PL researcher @ Uppsala University

--------------------------------------------------------------------------------

Bartosz Sypytkowski

Distributed systems developer

--------------------------------------------------------------------------------

Vincenzo Chianese

Eng. Team Leader

--------------------------------------------------------------------------------

Magda Stożek

Scala Developer at SoftwareMill

--------------------------------------------------------------------------------

Valentin Chaboche

Software Engineering Intern at Nomadic Labs

--------------------------------------------------------------------------------

Jonas Winje

beep

--------------------------------------------------------------------------------

Einar Høst

Boop

--------------------------------------------------------------------------------

Mateusz Kubuszok

Committed a blog about Scala, a book about Scala+JVM and several Scala
libraries, and don't feel sorry about it.

--------------------------------------------------------------------------------

Niki Vazou

Liquid Haskell Developer

--------------------------------------------------------------------------------

Troels Henriksen

Gotta go fast, gotta get it right!

--------------------------------------------------------------------------------

Michał J. Gajda

Scientist and developer

--------------------------------------------------------------------------------

Daniel Beskin

This Mind Intentionally Left Blank

--------------------------------------------------------------------------------

Konrad Klawikowski

Red Code Labs

--------------------------------------------------------------------------------

Attila Egri-Nagy

Software engineer disguised as a maths professor with a denied background in
philosophy.

--------------------------------------------------------------------------------

Jacek Hełka

F# Developer at Credit Suisse

--------------------------------------------------------------------------------

Aleksander Lisiecki

Erlang and Elixir developer and trainer @Erlang Solutions

--------------------------------------------------------------------------------


PROGRAMME

Day 1

July 28, 2022

LD track 1 LD track 2 TFPiE/TFPiE 8:00 - 9:00 Registration 9:00 - 9:30 WELCOME
9:30 - 10:30 Building a Haskell-to-Hardware compiler: Theory & Practice
Christiaan Baaij


10:30 - 11:00 COFFEE BREAK 11:00 - 11:45 The MOG in Clojure menace
Mey Beisaron

BestPractices
Clojure
Orthotope - APL inspired arrays for Haskell
Lennart Augustsson

Haskell
11:55 - 12:40 Debugging for math lover
Michał J. Gajda

debugging
BeginnerFriendly
When An Error Is Not An Exception
Vincenzo Chianese


12:40 - 13:40 LUNCH BREAK 13:40 - 14:25 Architectural dilemma: thread per
request vs. thread pool per operation
Krzysztof Płachno

concurrency
Scala
Static analysis tools love pure FP
Jeroen Engels

Elm
BeginnerFriednly
14:35 - 15:20 Functional Parsing for Novel Markup Languages
James Carlson

LanguageDesign
Elm
TBA
Eva Darulova


15:20 - 15:50 COFFEE BREAK 15:50 - 16:35 An Enigma Machine in Elm
Ju Liu

Elm
Lambda Calculus Beep Boop
Lambda Calculus Beep Boop
Einar Høst
Jonas Winje

calculus
16:45 - 17:45 Keynote 1
David Nolen


17:55 - 18:40 Lightning Talks

Tap on hour to see the talks

8:00

8:00 - 9:00

Registration



9:00

9:00 - 9:30

WELCOME



9:30

9:30 - 10:30

Building a Haskell-to-Hardware compiler: Theory & Practice
Christiaan Baaij






10:30

10:30 - 11:00

COFFEE BREAK



11:00

11:00 - 11:45

The MOG in Clojure menace
Mey Beisaron


BestPractices
Clojure



--------------------------------------------------------------------------------

11:00 - 11:45

Orthotope - APL inspired arrays for Haskell
Lennart Augustsson


Haskell



11:55

11:55 - 12:40

Debugging for math lover
Michał J. Gajda


debugging
BeginnerFriendly



--------------------------------------------------------------------------------

11:55 - 12:40

When An Error Is Not An Exception
Vincenzo Chianese






12:40

12:40 - 13:40

LUNCH BREAK



13:40

13:40 - 14:25

Architectural dilemma: thread per request vs. thread pool per operation
Krzysztof Płachno


concurrency
Scala



--------------------------------------------------------------------------------

13:40 - 14:25

Static analysis tools love pure FP
Jeroen Engels


Elm
BeginnerFriednly



14:35

14:35 - 15:20

Functional Parsing for Novel Markup Languages
James Carlson


LanguageDesign
Elm



--------------------------------------------------------------------------------

14:35 - 15:20

TBA
Eva Darulova






15:20

15:20 - 15:50

COFFEE BREAK



15:50

15:50 - 16:35

An Enigma Machine in Elm
Ju Liu


Elm



--------------------------------------------------------------------------------

15:50 - 16:35

Lambda Calculus Beep Boop Lambda Calculus Beep Boop
Einar Høst
Jonas Winje


calculus



16:45

16:45 - 17:45

Keynote 1
David Nolen






17:55

17:55 - 18:40

Lightning Talks




Day 2

July 29, 2022

LD track 1 LD track 2 TFP/TFPiE 8:15 - 8:45 Registration 9:00 - 9:15 WELCOME
9:15 - 10:15 What every programmer should know about cognition
Felienne Hermans

LanguageDesign
BeginnerFriendly
10:15 - 10:45 COFFEE BREAK 10:45 - 11:30 Make Illegal States Unrepresentable
Daniel Beskin

BestPractices
BeginnnerFriendly
The work done by something else
Attila Egri-Nagy

theory
Clojure
11:40 - 12:25 Using smoke and mirrors to compile a functional programming
language to efficient GPU code
Troels Henriksen

compiling
BestPractices
osnap! Painless and massive regression test generation for OCaml
Valentin Chaboche

OCaml
testing
BeginnerFriendly
12:35 - 13:20 YATA: collaborative documents and how to make them fast
Bartosz Sypytkowski

DistributedSystems
Scala
Predicting and Preventing Chaos with Formal Methods in TLA+
Thomas Gebert

tla+
testing
13:20 - 14:20 LUNCH BREAK 14:20 - 15:05 Say goodbye to implicits - contextual
abstractions in Scala 3
Magda Stożek

Scala
Nix: Configure and Prosper
Konrad Klawikowski

NIX
BeginnerFriedly
15:15 - 16:00 Why Event Sourcing is not easy
Mateusz Kubuszok

DistributedSystems
Scala
F#, SQL and lot of fun /F# SQL micro-orm
Jacek Hełka

F#
BeginnnerFriendly
16:00 - 16:30 COFFEE BREAK 16:30 - 17:15 Anosy: Approximate Knowledge Synthesis
with Refinement Types
Niki Vazou

TypeTheory
A case study about Comparative Programming Languages' Energy Consumption
Aleksander Lisiecki

CaseStudy
BeginnerFriendly
17:15 - 18:15 Keynote 3
Sam Aaron


18:15 - 18:45 Closing notes

Tap on hour to see the talks

8:15

8:15 - 8:45

Registration



9:00

9:00 - 9:15

WELCOME



9:15

9:15 - 10:15

What every programmer should know about cognition
Felienne Hermans


LanguageDesign
BeginnerFriendly



10:15

10:15 - 10:45

COFFEE BREAK



10:45

10:45 - 11:30

Make Illegal States Unrepresentable
Daniel Beskin


BestPractices
BeginnnerFriendly



--------------------------------------------------------------------------------

10:45 - 11:30

The work done by something else
Attila Egri-Nagy


theory
Clojure



11:40

11:40 - 12:25

Using smoke and mirrors to compile a functional programming language to
efficient GPU code
Troels Henriksen


compiling
BestPractices



--------------------------------------------------------------------------------

11:40 - 12:25

osnap! Painless and massive regression test generation for OCaml
Valentin Chaboche


OCaml
testing
BeginnerFriendly



12:35

12:35 - 13:20

YATA: collaborative documents and how to make them fast
Bartosz Sypytkowski


DistributedSystems
Scala



--------------------------------------------------------------------------------

12:35 - 13:20

Predicting and Preventing Chaos with Formal Methods in TLA+
Thomas Gebert


tla+
testing



13:20

13:20 - 14:20

LUNCH BREAK



14:20

14:20 - 15:05

Say goodbye to implicits - contextual abstractions in Scala 3
Magda Stożek


Scala



--------------------------------------------------------------------------------

14:20 - 15:05

Nix: Configure and Prosper
Konrad Klawikowski


NIX
BeginnerFriedly



15:15

15:15 - 16:00

Why Event Sourcing is not easy
Mateusz Kubuszok


DistributedSystems
Scala



--------------------------------------------------------------------------------

15:15 - 16:00

F#, SQL and lot of fun /F# SQL micro-orm
Jacek Hełka


F#
BeginnnerFriendly



16:00

16:00 - 16:30

COFFEE BREAK



16:30

16:30 - 17:15

Anosy: Approximate Knowledge Synthesis with Refinement Types
Niki Vazou


TypeTheory



--------------------------------------------------------------------------------

16:30 - 17:15

A case study about Comparative Programming Languages' Energy Consumption
Aleksander Lisiecki


CaseStudy
BeginnerFriendly



17:15

17:15 - 18:15

Keynote 3
Sam Aaron






18:15

18:15 - 18:45

Closing notes





REGISTER

Still a student? Get a special in-person ticket for 350PLN (+ VAT and fees)
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.






IN PERSON TICKETS


VIRTUAL TICKETS




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

Apply to get yours!

First deadline: 27/06/2022 (recipients chosen)

Second deadline: 04/07/2022 (if recipients do not confirm, tickets are
redistributed)






STUDENTS SCHEME

For the first time Lambda Days 2022 is implementing Students Scheme sponsored by
UMATR. The goal of the programme is to increase the attendance of students.






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 6 areas our audience would love to hear about:

Functional languages
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.

The first round of reviews will take place in October. The second round in
November can be cancelled if we receive enough submissions in the first round.


CALL FOR TALKS IS CLOSED NOW



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.




DON'T MISS OUT!



Why should you attend Lambda Days 2022? (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







SPONSORS


DIVERSITY & INCLUSION SPONSOR




STUDENT SPONSOR




GOLD SPONSOR




WHO'S IN THE MIX


ORGANIZERS




TRENDS IN FUNCTIONAL PROGRAMMING ORGANIZERS




TRENDS IN FUNCTIONAL PROGRAMMING IN EDUCATION ORGANIZERS




RESEARCH TRACK




PARTNERS




MEDIA PARTNERS








VOLUNTEERS

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




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. All attendees must present one of the following:

 * A negative COVID test dated no more than 72 hours prior to the conference
   (both quick test and PCR test are accepted)

 * Proof of vaccination (either in writing, on a card, or on the mObywatel app -
   QR code)
 * A waiver form signed a day prior to the conference via conference app or
   signed on paper on the day of the conference. 

Do not attend if you or anyone you have been in contact with has shown any
symptoms of COVID 72 hours prior. 








VENUE






AUDITORIUM
MAXIMUM
UJ

Krupnicza 33

31-123 Kraków

Poland


HOTELS

We managed to secure rooms at a special B&B rate per night for Lambda Days
guests. Use the following code to get better prices at:

HOTEL UNICUS PALACE *****
ul. Floriańska 28, 31-021 Kraków

PRICES:
20% off for our attendees

To book and get an attendee discount remember to contact
recepcja@hotelunicuspalace.pl using the password "Lambda Days"

HOTEL UNICUS ****
ul. Św. Marka 20, 31-020 Kraków

PRICES:
20% off for our attendees

To book and get an attendee discount remember to contact recepcja@hotelunicus.pl
using the password "Lambda Days"

Grand Ascot Hotel ****
ul. Józefa Szujskiego 4 31-123 Kraków

PRICES:
Double room for single use: 490 PLN
Double room: 550 PLN
Breakfast is included.

To book and get an attendee discount remember to contact
rezerwacja@grandascot.pl using the password "Lambda Days".
Offer is valid until rooms are used up.


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.




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






Privacy Policy