Lambda Days 2017

Feb 9 - 10, 2017 · Kraków, Poland
  • 08:00
    1:00 H / research track
    Registration
  • 09:00
    0:30 H / research track
    Welcome
  • 09:30
    1:00 H / research track
    Keynote: Why Functional Programming Matters - John Hughes
  • 10:30
    0:30 H
    Coffee Break
  • 11:00
    0:45 H / room 1
    The Thrilling Adventures of Lovelace, Babbage and the Analytical Engine
    Sydney Padua
    0:45 H / room 2
    TBA
    0:20 H / research track
    TBA
  • 11:25
    0:20 H / research track
    Automatically Deriving Cost Models for Structured Parallel Processes Using Hylomorphisms
    Kevin Hammond
  • 11:55
    0:45 H / room 1
    GenStage and Flow
    José Valim
    0:45 H / room 2
    I can haz no Futures?
    Michał Płachta
  • 12:20
    0:20 H / research track
    Refinement Reflection, or how to turn (Liquid) Haskell into a theorem prover
    Niki Vazou
  • 12:40
    1:00 H
    Lunch Break
  • 13:40
    0:20 H / research track
    TBA
    0:45 H / room 1
    Full Stack Type-safety: Elm with Scala
    Choucri FAHED
    0:45 H / room 2
    What Orwell's 1984 Can Teach Us about Programming
    Daniel Beskin
  • 14:05
    0:20 H / research track
    TBA
  • 14:35
    0:45 H / room 1
    The Dramatic Consequences of the Open Source Revolution: Unrecognized Challenges & Some Modest Attempts at Solutions in Scala
    Heather Miller
    0:45 H / room 2
    Wireless Small Embedded Erlang Applications with Grisp Hardware Boards
    Peer Stritzinger
    0:20 H / research track
    TBA
  • 15:00
    0:20 H / research track
    Implementing Event-Driven Microservices Architecture using Functional programming
    Nikhil Barthwal
  • 15:30
    0:20 H / research track
    Futhark: A High-Performance Purely Functional Array Language
    Troels Henriksen
    0:45 H / room 1
    Functional programming guerilla in the land of Rust
    Tomasz Barański
    0:45 H / room 2
    TBA
  • 15:55
    0:20 H / research track
    Keeping the flow going: Data-flow oriented workflow systems
    Annette Bieniusa
  • 16:15
    0:30 H
    Coffee Break
  • 16:45
    1:00 H / research track
    TBA
  • 09:00
    1:00 H / room 1
    TBA
  • 10:00
    0:30 H
    Coffee Break
  • 10:30
    0:45 H / room 2
    A song of types and errors, or how I found myself leading teams of Scala developers
    Valentin Kasas
    0:45 H
    TBA
    0:45 H / room 1
    Some History of Functional Programming Languages
    David Turner
  • 11:25
    0:45 H / room 3
    Taming the Asynchronous Beast with CSP Channels in JavaScript
    Vincenzo Chianese
    0:45 H / room 1
    The Origins of Free
    Adam Warski
    0:45 H / room 2
    Elixir and money
    Tomasz Kowal
  • 12:10
    1:00 H
    Lunch Break
  • 13:10
    0:45 H
    Practical Lambda Calculus
    Jonas Winje
    0:45 H / room 1
    TBA
    0:45 H / room 2
    Practical Lambda Calculus
    Einar Høst
    0:45 H / room 3
    Fast Neural Networks… a no brainer!
    Riccardo Terrell
  • 14:05
    0:45 H / room 1
    Going bananas with recursion schemes for fixed point data types
    Pawel Szulc
    0:45 H / room 2
    Building a Graphical IDE in Elm/Purescript for an Embedded Language that Compiles to the Erlang VM
    Claudia Doppioslash
    0:45 H / room 3
    Testing with mutants
    Jan Stępień
  • 15:00
    0:45 H / room 1
    That's My Monkey (A Functional, Reactive, Domain Driven Design, and Common Sense Approach To Architecture)
    Rob Martin
    0:45 H / room 2
    TBA
    0:45 H / room 3
    Smart Spreadsheets
    Enzo Alda
  • 15:45
    0:30 H
    Coffee Break
  • 16:15
    1:00 H / room 1
    Keynote: Embodied Interactions
    Wiesław Bartkowski