|
|
|
|
|
| 22 Feb 2018, 19:00 |
Pre-conference dinner,
"I Due Forni", Schönhauser Allee 12, 10119 Berlin (map) |
| 8:00 |
Registration |
| 9:00 |
Opening Performance
Alexandra Cárdenas
|
| 9:15 |
Keynote: A Language for Making Movies
Leif Andersen
|
| |
Talks |
Tutorials |
| 10:20 |
Break before talks |
Introductory Haskell
Matthias Heinzel
|
Web-Entwicklung mit Clojure
Thorsten Ludwig
|
| 10:30 |
Testing monadic programs using
QuickCheck and state machine based
models
Stevan Andjelkovic
|
Reactive Streaming with Akka Streams
Franz Thoma
|
| 11:15 |
Coffee break |
| 11:50 |
Coffee break |
| 12:00 |
Combining program verification with component-based architectures
Alexander Senier
|
Funktionale Datenstrukturen
Michael Wiedeking
|
Terminal GUIs with Haskell: vty and brick
Franz Thoma
|
Einführung in Agda
Peter Thiemann
|
| 12:50 |
Formally Specifying Blockchain Protocols using the Psi Calculus
Philipp Kant
|
FIX-Engine in zwei Wochen
Maxim Minin
|
| 13:35 |
Lunch break |
| 14:30 |
GRiSP, Bare Metal Functional Programming
Nadezda Zryanina
|
Vertikale Organisation - da muss sich was um 90° drehen im Kopf!
Johannes Mainusch, Ole Langbehn
|
A Tutorial on Liquid Haskell
Andres Löh
|
Graphical User Interfaces in Haskell with Threepenny
Heinrich Apfelmus
|
| 15:20 |
New Hasql - a native Haskell Postgres driver faster than C
Nikita Volkov
|
Understanding the realtime ecosystem
Srushtika Neelakantam
|
| 16:05 |
Coffee break |
| 16:35 |
Finite-state machines? Your compiler wants in!
Oskar Wickström
|
May contain DTraces of FreeBSD feat. Spectre
Raichoo Ketchum
|
EventStorming für Domain-Driven Design
Nicole Rauch
|
Hedgehog - QuickCheck, but better
Matthias Fischmann
|
| 17:25 |
Engineering TCP/IP with logic
Hannes Mehnert
|
Implications of Functional Programming on Human Rights Work
Christo
|
| 18:10 |
Closing |
| 19:00 |
Conference Dinner,
Max & Moritz, Oranienstraße 162, 10969 Berlin
(map)
|
