Hier ist das Logo der BOB Konferenz 2019 zu
		                              sehen.

Vorläufiges Programm 2019

8:00 Registration
9:00
Eröffnungsvortrag
Gabriele Keller
 
Talks
Tutorials
10:05 Pause
Introduction to Web Development in Racket
Jesse Alama
Learn FP with Code Katas
İlke Zilci
10:15
Applicative DSLs
Franz Thoma
Checking Musical Correctness
Chris Ford
11:00 Pause
11:35 Pause
11:45
Inspection Testing
Joachim Breitner
Emotional Programming
Johannes Mainusch, Michael Sperber
Two Scripts One Story
Adebayo Opesanya
12:35
Logic in the Service of System Configurations
Shriram Krishnamurthi
Programmation en Logique
Lars Hupel
13:20 Mittagessen
14:15
Designing Applications with Pluggable Layers Using Polymorphism
Philipp Kant
The Way of APL
Aaron W. Hsu
Superficial SQL Indexing
Markus Winand
Type-Level Programming in Haskell
Vitaly Bragilevsky
15:05
Wire Once, Rewire Twice
Eric Torreborre
Analyzing Programs with SMT Solvers
Tikhon Jelvis
15:50 Pause
16:20
Across Time and Space: Building Explorative UIs Using a Many-Worlds Interpretation of State
Nikolas Göbel, Malte Sandstede
EventSourcing All Over the Place
Nicole Rauch
Einstieg in die Probabilistische Programmierung
Christoph Schmalhofer
Writing Hardware in Haskell
Matthias Heinzel
17:10
State machine modelling and property based testing combined with fault injection
Stevan Andjelkovic
Modern SQL
Markus Winand
18:00 Abschluss
19:00 Abendessen