Program
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 | ||