Bob Conference Archive – Workshops and tutorials

This archive holds all English language talks from Bob 2015 to Bob 2025.

English

• Introduction to Web Development in Racket
  Jesse Alama, Talk at Bob 2019, english
• Building highly available systems with Elixir: an introduction
  Pierre Allix, Ilke Zilci, Talk at Bob 2023, english
• Sylvester: computer-based math via F# meta-programming
  Allister Beharry, Talk at Bob 2021, english
• The K Framework: A tool kit for language semantics and verification
  Jost Berthold, Talk at Bob 2024, english
• Introduction to TLA+
  Annette Bieniusa, Talk at Bob 2020, english
• Scalable consistency for replicated data
  Annette Bieniusa, Talk at Bob 2015, english
• Type-Level Programming in Haskell
  Vitaly Bragilevsky, Talk at Bob 2019, english
• Lean for the Functional Programmer
  Joachim Breitner, David Thrane Christiansen, Talk at Bob 2024, english
• Haskell Bytes – A guided tour through the heap of a Haskell program
  Joachim Breitner, Talk at Bob 2021, english
• Live Coding with TidalCycles
  Alexandra Cárdenas, Talk at Bob 2018, english
• Musical Patterns with TidalCycles
  Alexandra Cardenas, Talk at Bob 2021, english
• Runtime Verification with the Copilot Language, A Hands-on Introduction
  Frank Dedden, Talk at Bob 2024, english
• An FRP framework with two-way connections
  Péter Diviánszky, Talk at Bob 2018, english
• From Vision to Code: (Functional) Domain Modeling in Practice
  Marco Emrich, Leandro Doctors, Talk at Bob 2024, english
• ReasonReact for Type-Safe Web Apps
  Marco Emrich, Talk at Bob 2020, english
• Functional Development with Kotlin
  Torsten Fink, Talk at Bob 2023, english
• Introductory Haskell
  Matthias Fischmann, Andres Löh, Talk at Bob 2016, english
• Introduction to web programming in PureScript
  Matthias Fischmann, Talk at Bob 2016, english
• Introductory Haskell
  Matthias Fischmann, Talk at Bob 2017, english
• Hedgehog - QuickCheck, but better
  Matthias Fischmann, Talk at Bob 2018, english
• Introductory Haskell
  Matthias Fischmann, Alexander Ulrich, Talk at Bob 2015, english
• Clojure, Getting Your Feet Wet
  Nicolas Frankel, Talk at Bob 2019, english
• On the other side of the clouds
  Heinz Gies, Talk at Bob 2015, english
• Functional Programming in TypeScript
  Beat Hagenlocher, Talk at Bob , english
• Haskell Mobile development
  Shane Hamilton, Talk at Bob 2025, english
• Introductory Haskell
  Matthias Heinzel, Talk at Bob 2018, english
• Writing Hardware in Haskell
  Matthias Heinzel, Talk at Bob 2019, english
• Reproducible data science with Clojure
  Kira Howe, Talk at Bob 2025, english
• Tausend auf einen Streich: Einführung in QuickCheck
  Lars Hupel, Talk at Bob 2017, english
• Build collaborative applications with Yjs
  Kevin Jahns, Talk at Bob 2025, english
• Introduction to Web Programming in PureScript
  Michael Karg, Talk at Bob 2017, english
• Event in, events out?
  Gerard Klijs, Talk at Bob 2021, english
• Embracing Declarative Frontend Development with Signals and Streams
  Mischa Koischwitz, Talk at Bob 2025, english
• Illegal States Are My Favorite Security Vulnerabilities (to Delete at Compile Time)
  Michael Koppmann, Talk at Bob , english
• D.A.R.E. more, F.E.A.R. less - Journaling for Tech People
  Cosima Laube, Talk at Bob 2021, english
• An Introduction to Idris
  Andres Löh, Talk at Bob 2016, english
• Staging with Typed Template Haskell
  Andres Löh, Talk at Bob 2022, english
• An introduction to Servant
  Andres Löh, Talk at Bob 2017, english
• Staging Programs in Haskell
  Andres Löh, Talk at Bob 2024, english
• Haskell Tutorial
  Andres Löh, Talk at Bob , english
• A Tutorial on Liquid Haskell
  Andres Löh, Talk at Bob 2018, english
• An Introduction to Doing Software Proofs in Agda
  Sandy Maguire, Talk at Bob 2023, english
• MirageOS: building minimized special-purpose unikernels
  Hannes Mehnert, Talk at Bob 2019, english
• Introduction to Riak
  Christopher Meiklejohn, Talk at Bob 2015, english
• Functional Web Applications with Webmachine in Erlang
  Christopher Meiklejohn, Talk at Bob 2015, english
• Programming with weak consistency, and Dartagnan
  Roland Meyer, Thomas Haas, Talk at Bob 2025, english
• Parallelism without panic: a user’s guide to multicore safety in OCaml
  Carine Morel, Talk at Bob , english
• Extending a Language - Writing Powerful Macros in Scheme
  Marc Nieper-Wißkirchen, Talk at Bob 2023, english
• Two Scripts, One Story
  Adebayo Opesanya, Talk at Bob 2019, english
• Agda by Example: Programming and Proving with Dependent Types
  Peter Thiemann, Talk at Bob , english
• Generative Art in Haskell
  quchen, Franz Thoma, Talk at Bob 2022, english
• Erlang overview
  Robby Raschke, Talk at Bob 2016, english
• React.js and Redux
  Nicole Rauch, Talk at Bob 2017, english
• Introduction to Erlang
  Martin Rehfeld, Talk at Bob 2015, english
• Programming REST APIs in Scala with Akka HTTP
  Johannes Rudolph, Talk at Bob 2016, english
• Combining clojure.spec with design recipes
  Diego Sánchez, Lenadro Doctors, Talk at Bob 2021, english
• Computation Expressions in F#
  David Schaefer, Ronald Schlenker, Talk at Bob 2024, english
• Domain Storytelling — Understanding Your Users by Drawing Pictures
  Henning Schwentner, Talk at Bob 2023, english
• Functional Programming in Kotlin
  Michael Sperber, Talk at Bob 2022, english
• Implementing Domain-Specific Langugages with Racket
  Michael Sperber, Talk at Bob 2022, english
• Control Your Effects in Haskell
  Michael Sperber, Talk at Bob 2020, english
• Introduction to Verification with the Coq Proof Assistant
  Kathrin Stark, Talk at Bob 2022, english
• Introductory Swift
  Wouter Swierstra, Chris Eidhof, Florian Kugler, Talk at Bob 2015, english
• Developing declarative and functional iOS apps with SwiftUI and Combine
  Max Tharr, Talk at Bob 2021, english
• Terminal GUIs with Haskell: vty and brick
  Franz Thoma, Talk at Bob 2018, english
• Functional 3D graphics for the browser in scheme
  Théo Tyburn, Talk at Bob , english
• OpenTelemetry Workshop
  Osher Vaknin, Talk at Bob 2023, english
• Introduction to Idris
  Stefan Wehr, Talk at Bob 2020, english
• Superficial SQL Indexing
  Markus Winand, Talk at Bob 2019, english
• Learn FP with Code Katas
  İlke Zilci, Talk at Bob 2019, english

German

• Graphical User Interfaces in Haskell with Threepenny
  Heinrich Apfelmus, Talk at Bob 2018, german
• Mehr Konsistenz für replizierte Daten!
  Anette Bieniusa, Talk at Bob 2017, german
• Einführung in Haskell
  Erika Bor, Talk at Bob 2020, german
• Verifikation mit Isabelle
  Joachim Breitner, Talk at Bob 2016, german
• Einführung in F#
  Tim Digel, Talk at Bob 2020, german
• MAD-TDD - der Wahnsinn hat Methode
  Marco Emrich, Ferdinand Ade, Talk at Bob 2025, german
• Funktionale Domänen-Modellierung in der Praxis
  Marco Emrich, Mike Figura, Talk at Bob 2021, german
• Sechseckige Webseiten? Hexagonale Frontend-Architektur!
  Marco Emrich, Sophia Cook, Talk at Bob 2023, german
• Funktionale Konzepte bei der Entwicklung von Benutzeroberflächen
  Roger Gilliar, Talk at Bob 2015, german
• Workshops magisch machen mit Liberating Structures
  Martin Günther, Talk at Bob 2024, german
• Einführung in Scala 3
  Simon Härer, Talk at Bob 2022, german
• Web-Entwicklung mit Clojure
  Thorsten Ludwig, Talk at Bob 2018, german
• Einführung in das Haskell-Web-Framework IHP
  Bianca Lutz, Talk at Bob 2023, german
• $HOME Improvement mit Nix
  Johannes Maier, Talk at Bob 2022, german
• Einführung in Scala
  Simon Ochsenreither, Talk at Bob 2016, german
• Einführung in Agda
  Peter Thiemann, Talk at Bob 2017, german
• EventStorming für Domain-Driven Design
  Nicole Rauch, Talk at Bob 2018, german
• Specification by Example
  Nicole Rauch, Talk at Bob 2016, german
• Unter der Haube - Barrierefreiheitsanforderungen an Software und IT-Systeme
  Dr. Irmhild Rogalla, Alex Ackermann, Talk at Bob , german
• Makros in Clojure
  Kaan Sahin, Talk at Bob 2022, german
• Just use Emacs!
  Kaan Sahin, Talk at Bob 2022, german
• Resiliente Systeme entwickeln mit Elixir: Fehlertoleranz von Grund auf
  Kaan, Talk at Bob 2025, german
• Ganz praktisch: Probabilistische Funktionen
  Christoph-Schmalhofer, Talk at Bob 2020, german
• Vom Probabilistic Computing zum Quantum Computing und zurück
  Christoph Schmalhofer, Talk at Bob 2022, german
• Einstieg in die Probabilistische Programmierung
  Christoph Schmalhofer, Talk at Bob 2019, german
• Streifzug durch Clojure
  Michael Sperber, Talk at Bob 2015, german
• Einführung in Agda
  Peter Thiemann, Talk at Bob 2018, german
• Moderne typsichere Web-Entwicklung mit Haskell
  Alexander Thiemann, Talk at Bob 2015, german
• Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus
  Holger Tiemeyer, Talk at Bob , german
• Graphen@Problemlösen
  Holger Tiemeyer, Talk at Bob 2020, german
• Die andere Art des Teamworks: Whole Team Ensemble Programming
  Joshua Töpfer, Talk at Bob 2025, german
• Funktionale Programmierung mit Swift
  Stefan Wehr, Talk at Bob 2017, german
• Schöne Dokumentation – nur mit Text
  Benjamin Wolf, Talk at Bob 2025, german