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