BOB
2026
Freitag, 13. März
Anmeldung
Programm
Richtlinien
Veranstaltungsort
Sponsoring
Archive
Sprache
Deutsch
English
Vorläufiges Programm 2026
19:30 (12. März)
BOBKONF Konferenzvorglühen
in der
Volksbar
, Rosa-Luxemburg-Straße 39, 10178 Berlin. Keine Anmeldung nötig; freiwillige Anmeldung bei
MeetUp
. Getränke/Speisen zahlt jede:r selbst.
Vorträge
Tutorials
Vorträge A (Stockholm)
Vorträge B (Copenhagen)
Tutorials A (Birch)
Tutorials B (Yew)
8:00
Anmeldung
9:00
Keynote: Digital Sovereignty
Stefan Kaufmann
10:00
Kaffeepause
10:15
A crash course on the OCaml module language
Xavier Van de Woestyne
Accessibility by Design
Ariadne Engelbrecht
Agda by Example
Peter Thiemann
Functional 3D Graphics for the Browser
Théo Tyburn
11:05
Undoable Monad
Paul-Elliot
Atomic Design & Storybook
Franz Thoma
11:50
Mittagspause
13:00
Four Fascinating Programming Languages
Lutz Hühnken
Funktionale Programmierung für vielbeschäftigte Javaentwickler
Falk Sippach, Till Rauch
FP in TypeScript
Beat Hagenlocher
Multicore Safety in OCaml
Carine Morel, Cuihtlauac Alvarado
13:50
Generating tests from formal specification
Nicolas Osborne
Git meets Linked Data
Markus Schlegel
14:35
Kaffeepause
15:00
Proofs for programs, programs for proofs
Markus Himmel
Programming Efficient Joins
Fritz Henglein
Illegal States Are My Favorite Security Vulnerabilities
Michael Koppmann
Barrierefreiheitsanforderungen an Software und IT-Systeme
Dr. Irmhild Rogalla, Alex Ackermann
15:50
Refinement types for the digital information age
Olaf Klinke
Reactive Systems im Einsatz für E-Mobility
Martin Grotzke
16:35
Kaffeepause
17:00
Run your own digital infrastructure using MirageOS unikernels
Hannes Mehnert
Using Domain Driven Design to Refactor Stripe Billing
Alexander Thiemann
Haskell Tutorial
Andres Löh
Funktional-Reaktives Handwerk für Microservices
Holger Tiemeyer
17:50
Encoding Effects as Capabilities
NicolasRinaudo
SwiftUI is functional
Manuel Chakravarty
18:35
Abschluss
19:30
Konferenzabendessen
im Restaurant AMRIT Potsdamer Platz, Ebertstraße 14, 10117 Berlin, ab 19:30. Dinner-Tickets sind
hier
erhältlich.