HaL 2017 will offer talks, tutorials, and a musical performance, followed by a Hackathon.

Thursday, October 26, 2017

Time Type Presenter Title
14:00–15:00 Invited talk Ivan Perez Extensible Functional Reactive Programming Applied to iOS and Android Game Programming
15:00–15:30 Talk Gabor Greif Saturating Cores Safely with Type.Reflection
15:30–16:00 Break
16:00–16:30 Talk Andor Pénzes Property-Based Testing Meets Test Design
16:30–17:00 Talk Albert Krewinkel Hslua: Using Lua to Make Haskell Programs Extensible
17:00–17:30 Talk Tillmann Vogt Auto Apply Completion: Overlaying the Lambda Calculus Code of Thousands of Libraries to a Big Graph
17:30–19:00 Break
19:00– Barbecue and invited performance Lennart Melzer Live Coding of Music with Tidal Cycles

Friday, October 27, 2017

Time Type Presenter Title
09:00–10:30 Tutorial Heinrich Apfelmus Graphical User Interfaces with Threepenny
Tutorial Manuel Bärenz Rhine: FRP with Type-Level Clocks
10:30–11:00 Break
11:00–11:30 Talk Dmitrii Legatiuk and Henrik Nilsson Functional Hybrid Modeling Towards Mathematical Physics
11:30–12:00 Talk Henning Thielemann Why Functional Reactive Programming Matters for MIDI Processing
12:00–12:30 Talk Henrik Nilsson The Arpeggigon: A Functional Reactive Musical Automaton
12:30–14:00 Break
14:00–14:30 Meeting Mario Wenzel Hackathon Kick-Off
14:30– Hackathon

Saturday, October 28, 2017

Time Type Presenter Title
09:00– Hackathon