Hier ist das Logo der BOB Konferenz 2018 zu
		    sehen.

Vorläufiges Programm 2018

8:00 Registrierung
9:00
Opening Performance
Alexandra Cárdenas
9:15
Keynote: A Language for Making Movies
Leif Andersen
 
Vorträge
Tutorials
10:20 Pause vor den Vorträgen
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 Kaffeepause
11:50 Kaffeepause
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 Mittagspause
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 Kaffeepause
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 Abschluß