Registration
Program
Policies
Sponsorship
Archive
2020
Summer 2019
2019
2018
2017
2016
2015
Language
Deutsch
English
Preliminary Program
8:00
Conference opens
9:00
Keynote
Jeremy Gibbons
Talks
Tutorials
10:05
Break before talks
Combining
clojure.spec
with design recipes
Diego Sanchez, Leandro Doctors
Musical Patterns with TidalCycles
Alexandra Cardenas
10:15
Theorems for Free
Lars Hupel
Nach 20 Jahren Agilität - wird Achtsam das neue Agil?
Markus Wittwer
11:00
Coffee break
11:35
Coffee break
11:45
A gentle introduction to Stream Processing
Nicolas Fränkel
darcs, because git won
Raichoo Ketchum
Sylvester: computer-based math via F# meta-programming
Allister Beharry
Funktionale Domänen-Modellierung in der Praxis
Marco Emrich
12:35
Raspberry Pi, Reflex and Haskell
Tristan McLeay
Logic Programming and Databases
pukkamustard
13:20
Lunch break
14:15
SIMD in higher level programming languages
Matthias Wahl
Higher-Kinded Data Types By Example
Chris Penner
Developing declarative and functional iOS apps with SwiftUI and Combine
Max Tharr
D.A.R.E. more, F.E.A.R. less - Journaling for Tech People
Cosima Laube
15:05
Pipes, Arrows, and the Universe
Albert Schimpf
Comparing two type-level Haskell web service frameworks
Arian van Putten, Matthias Fischmann
15:50
Coffee break
16:15
Guarding your IO Boundaries
Franz Thoma
React Performance
Christoph Schmalhofer
Haskell Bytes – A guided tour through the heap of a Haskell program
Joachim Breitner
Event in, events out?
Gerard Klijs
17:05
A Firewall for Your Radical Network
Stefanie Schirmer
STG backend for Idris2
Andor Penzes
18:00
Closing