Image logo Bob conference 2019.

Preliminary Program 2019

8:00 Registration
9:00
Keynote
Gabriele Keller
 
Talks
Tutorials
10:05 Break before talks
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 Coffee break
11:35 Coffee break
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 Lunch break
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 Coffee break
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 Closing
19:00 Conference Dinner