Never-failing explosion of enthusiasm and talent is what gets us motivated to explore this amazing community in all of its potential. A journey we take through different ideas, technologies, paradigms and languages inspires creativity, growth and pure enjoyment of coding.
To us Scala, Erlang, Haskell, Elixir, F#, Lisp, Clojure, OCaml and many other emerging technologies are more than languages - they are new perspectives on how to understand and tackle challenges of every day work.
Workshops
To continue with our tradition of opening the functional world to newcomers, once again we invite you to join Lambda Academy in a series of free workshops.
As part of our collaboration with AGH and a gesture of general awesomeness on behalf of our speakers, we offer introductory meetings for different audiences and groups.
Workshop venue:
Katedra Informatyki AGH, D-17, Kawiory 21, Kraków
Workshop schedule and details (more classes will be posted soon):
Michał Ślaski - Informatyka bez komputera (kids ages 7-11)
room 3.27a; 10:00-12:30; 14:00-16:30
room 3.23; 9:00-16:00
Heidi Mork & Jonas Winje - Make your own meta-circular evaluator
room 3.27C; 9:00-12:30
room 1.19; Saturday and Sunday, TBA
Riccardo Terrell - Functional Concurrency using F#
room 3.27B; 9:00-13:30
Piotr Gawryś - Functional Concurrency in Scala 101
room 3.22; 9:00-16:30
Adam Szlachta - Haskell by examples
room 3.27c; 14:00-17:00
Marko Dimjašević - Introduction to Dependent Types
room 3.27b; 14:00-16:00
Programme
Day 1
February 21, 2019
Tap on hour to see the talks
8:00 - 9:00
REGISTRATION
9:00 - 9:30
WELCOME
10:30 - 11:00
COFFEE BREAK
11:00 - 11:45
Building on developers' intuitions to create effective property-based tests
John Hughes
11:00 - 11:45
FP Design Patterns in Micro-Service Inter-Process Communication
Viačeslav Pozdniakov
11:55 - 12:40
Function Totality: Abstraction Tool in Programming
Marko Dimjašević
12:40 - 13:40
LUNCH BREAK
13:40 - 14:25
Bridging the Divide: A Philosophy of Library Design
Brooklyn Zelenka
13:40 - 14:25
ClojureScript and React without JavaScript
Rakhim Davletkaliyev
13:40 - 14:25
From Haskell to C#, A story of culture shocks and happy reunions
Øystein Kolsrud
14:35 - 15:20
LogiKcal Lambda-Calculus; or, A guy with an Axe of Taipei
Einar Høst
Jonas Winje
14:35 - 15:20
Computer Mathematics, AI and Functional Programming
Moa Johansson
16:15 - 16:45
COFFEE BREAK
17:30 - 18:15
Lightening Talks
Day 2
February 22, 2019
Tap on hour to see the talks
8:30 - 9:00
WELCOME
10:00 - 10:30
COFFEE BREAK
11:25 - 12:10
Effective Data Engineering using higher kinded types
Animesh Kumar
11:25 - 11:45
Synthesizing Recursive Functions with Bananas, Lenses, Envelopes and Barbed Wire
Krzysztof Krawiec
13:05 - 14:05
LUNCH BREAK
14:05 - 14:50
The CodeKlavier CKalcuƛator: a lambda calculus calculator for the piano
Anne Veinberg
Felipe Ignacio Noriega
14:05 - 14:25
Desynchronized Information Propagation for Highly Scalable Simulations
Mateusz Paciorek
15:00 - 15:45
Realtime stream analysis in Functional Reactive Programming
Riccardo Terrell
15:45 - 16:15
COFFEE BREAK
DIVERSITY TICKETS
As always we’re doing our best to make sure our conference is as diverse and awesome as the community we serve.
Our diversity champion sponsored 5 tickets to be distributed among participants from groups underrepresented in IT.
To make sure the process is fair, the tickets will be handled by the Travis foundation.
[registration closed]
Programme committee
Philip Wadler
Professor of Theoretical Computer Science at The University of Edinburgh
Laura M. Castro
Teacher, researcher, traveller. Constant learner, feminist, geek.
John Hughes
Co-Designer Of Haskell And Quickcheck
Robert Virding
Co-Inventor of Erlang, Principal Language Expert
Mary Sheeran
Professor at Chalmers
Kevin Hammond
Professor at the University of St Andrews
Adam Warski
SoftwareMill
Katarzyna Grygiel
Jagiellonian University
Hotels
We managed to secure rooms at a special B&B rate per night for Lambda Days guests. Use the following links to get better prices at:
HOTEL UNICUS PALACE ****
ul. Floriańska 28, 31-021 Kraków
PRICES:
Double room for single use: 500 PLN
Double room: 580 PLN
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:
Single room: 360 PLN
To book and get an attendee discount remember to contact recepcja@hotelunicus.plusing the password "Lambda Days"
HOTEL FORTUNA ***
ul. Czapskich 5, 31-011 Kraków
PRICES:
Single room: 190 PLN
Double room: 249 PLN
To book and get an attendee discount remember to contact info_at_hotel-fortuna.com.pl using the password "Lambda Days"
Hotel Novotel Kraków Centrum ****
ul. Tadeusza Kosciuszki 5, 30-105
PRICES:
Single room: 290 PLN
Single room (executive): 340 PLN
Double room: 340 PLN
Double room (executive): 390 PLN
To book and get an attendee discount remember to contact h3372-re@accor.com using the password "LAMBDA"
HOTEL IBIS STARE MIASTO ***
ul. Pawia 15, 31-154 Kraków
PRICES:
Single room: 185 PLN
Double room: 210 PLN
HOTEL IBIS BUDGET ***
ul. Pawia 11, 31-154 Kraków
PRICES:
Single room: 115 PLN
Double room: 130 PLN
To book and get an attendee discount remember to contact H7161_at_accor.com using the password "LAMBDA""
HOTEL IBIS KRAKÓW CENTRUM ***
ul. Syrokomli 2, 30-105 Kraków
PRICES:
Single room: 185 PLN
Double room: 210 PLN
To book and get an attendee discount remember to contact H3710_at_accor.com using the password "Lambda”
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 venue, 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, Katarzyna Kraus using our contact form. We thank our attendees for their help in keeping the event welcoming, respectful, and friendly to all participants.