BOB Konferenz 2026

Talks #1

Full playlist: Video

name duration date view count

Encoding Effects as Capabilities

Encoding Effects as Capabilities

Talk Talks #1
2026-03-13
0
NicolasRinaudo

Going back in time with the Undoable Monad

Going back in time with the Undoable Monad

Talk Talks #1
2026-03-13
0
Paul-Elliot

A crash course on the OCaml module language

A crash course on the OCaml module language

Keynote: „Digital Sovereignty“ – Searching for Meaning in a Magical Concept

Keynote: „Digital Sovereignty“ – Searching for Meaning in a Magical Concept

Talk Talks #1
2026-03-13
0
Stefan Kaufmann

Four Fascinating Programming Languages You've Probably Never Heard Of

Four Fascinating Programming Languages You've Probably Never Heard Of

Talk Talks #1
2026-03-13
0
Lutz Hühnken

Proofs for programs, programs for proofs

Proofs for programs, programs for proofs

Talk Talks #1
2026-03-13
0
Markus Himmel

Zero Knowledge Proof? That Sounds Useless!

Zero Knowledge Proof? That Sounds Useless!

Talk Talks #1
2026-03-13
0
Philipp Kant

Run your own digital infrastructure using MirageOS unikernels

Run your own digital infrastructure using MirageOS unikernels

Talk Talks #1
2026-03-13
0
Hannes Mehnert