Image logo Bob conference 2018.

Preliminary Program 2018

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
Live Coding with TidalCycles
Alexandra Cárdenas
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
Adam Lindberg
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
Solving NP-Hard Problems: An Example of Universal Portfolios
Jenny Hung
EventStorming für Domain-Driven Design
Nicole Rauch
An FRP framework with two-way connections
Péter Diviánszky
17:25
Engineering TCP/IP with logic
Hannes Mehnert
Implications of Functional Programming on Human Rights Work
Christo
18:10 Closing