Bob Conference Archive – 2019
This archive holds all talks of Bob 2019.
English
-
State machine modelling and property based testing combined with fault injection
Stevan Andjelkovic, Talk at Bob 2019, english -
Inspection Testing
Joachim Breitner, Talk at Bob 2019, english -
Checking Musical Correctness
Chris Ford, Talk at Bob 2019, english -
Across Time and Space: Building Explorative UIs Using a Many-Worlds Interpretation of State
Nikolas Göbel, Malte Sandstede, Talk at Bob 2019, english -
The Way of APL
Aaron W. Hsu, Talk at Bob 2019, english -
Programmation en Logique
Lars Hupel, Talk at Bob 2019, english -
Analyzing Programs with SMT Solvers
Tikhon Jelvis, Talk at Bob 2019, english -
Designing Applications with Pluggable Layers Using Polymorphism
Philipp Kant, Talk at Bob 2019, english -
Keynote: High-Peformance Haskell
Gabriele Keller, Talk at Bob 2019, english -
Logic in the Service of System Configurations
Shriram Krishnamurthi, Talk at Bob 2019, english -
Emotional Programming
Johannes Mainusch vs. Michael Sperber, Talk at Bob 2019, english -
EventSourcing All Over the Place
Nicole Rauch, Talk at Bob 2019, english -
Applicative DSLs
Franz Thoma, Talk at Bob 2019, english -
Wire Once, Rewire Twice
Eric Torreborre, Talk at Bob 2019, english -
Modern SQL
Markus Winand, Talk at Bob 2019, english
No German talks for this topic
Time travel to the conference website of 2019