For two days you are at the centre of the functional programming world. It 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, meet the innovators working with Elm, Luna and Ocaml, see what comes up next!
This year we join forces with Trends in Functional Programming (TFP) who will be running two dedicated tracks, showcasing the latest academic research on functional programming.
Programme
Day 1
February 13, 2020
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
Designing composable functional libraries, not just for data visualization
Tomas Petricek
11:00 - 11:45
Introduction to Kotlin's coroutines and reactive streams
Krystian Rybarczyk
11:00 - 11:45
Keynote: Functional Programming for Hardware Design: The Good, The Bad, The Ugly.
Carl Seger
11:55 - 12:40
Comparing common concurrency patterns in Elixir and Erlang
Devon Estes
11:55 - 12:40
ArKi-KV : Abusing Tagless-Final Approach to build Key-Value store.
Sandeep Virdi
12:20 - 12:40
Implementation of Digital Synthesis in Functional Programming
Evan Sitt
12:40 - 13:40
LUNCH BREAK
15:30 - 16:15
Modelling Side Effects via Extensible Effects and Property Testing
William Heslam
15:30 - 15:50
PaSe: An Extensible and Inspectable DSL for Micro-Animations
Ruben Pieters
16:15 - 16:45
COFFEE BREAK
17:45 - 18:30
Lightning talks
Day 2
February 14, 2020
Tap on hour to see the talks
8:30 - 9:00
WELCOME
10:00 - 10:30
COFFE BREAK
10:30 - 11:15
Distributed Programming, Hash Tables, and fun!
Thomas Gebert
Nick Misturak
10:55 - 11:15
An equational modeling of asynchronous concurrent programming
David Janin
11:25 - 11:45
A Family of λ-Calculi with Ports
Seyed Hossein Haeri
Peter Van Roy
11:50 - 12:10
Automated Reification of Source Annotations for Monadic EDSLs
Agustín Mista
12:45 - 13:05
Performance Comparison of Several Folding Strategies
Jim Newton
13:05 - 14:05
LUNCH BREAK
14:05 - 14:25
Efficient Translation of Certain Irregular Data-Parallel Array Comprehensions
Ken Friis Larsen
14:30 - 14:50
Placement Strategies: Structured Skeleton Composition with Location Aware Remote Data
Lukas Schiller
15:00 - 15:45
Is Online Advertising Broken by Design? Navigating Privacy Challenges in Adtech
Karolina Iwańska
15:00 - 15:20
Fusing Flexibility with Formality: Practical Experience with Agile Formal Methods in Large-Scale Functional Programming
Philipp Kant
15:25 - 15:45
15:55 - 16:40
Composition by Juxtaposition: A PostScript on Functional Geometry
Einar Høst
15:55 - 16:40
Generating next step hints for task oriented programs using symbolic execution
Nico Naus
16:40 - 17:10
COFFEE BREAK
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.
Please note the classes on 12/01 take place on Batorego street (Erlang Solutions office)while classess on 6-17.01 take place on Kawiory street (Katedra Informatyki AGH).
See the schedule for more information on the confirmed classes.
Rob Martin - Ladies Night - An Ounce of Elixir
Batorego 25; 9:00-17:00, 12.02.2020
Rob Martin - Fun with Elixir, Automata, and Zombies
Kawiory 21; 9:00 – 13:00, 15.02.2020
Will Heslam - Building and testing a Node.js app
Kawiory 21; 9:00 – 12:00, 15.02.2020
Michał Ślaski - Informatyka bez komputera (kids ages 7-11)
Kawiory 21; 10:00 – 12:30, 15.02.2020
Programme committee
Laura M. Castro
Teacher, researcher, traveller. Constant learner, feminist, geek.
John Hughes
Co-Designer Of Haskell And Quickcheck
Mary Sheeran
Professor at Chalmers
Robert Virding
Co-Inventor of Erlang, Principal Language Expert
Adam Warski
SoftwareMill
Viktória Fördős
Erlanger @ Cisco NSO Core
.png)
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.