Bob Konferenz

We're really happy to announce our new partner Open Security Conference @OSCo@infosec.exchange – this year's edition takes place 5th through 8th November 2026 in Rückersbach, Germany. Check them out!

@NicolasRinaudo@functional.cafe closes out #BOBkonf2026 's talks block A with "Encoding Effects as Capabilities"

Paul-Elliot gives his talk on "Undoable Monad" on talk track A of #BOBkonf2026

The last block of talks on track A at #BOBkonf2026 starts with @hannes@social.coop and "Run your own digital infrastructure using MirageOS unikernels"

Martin Grotzke gives his talk "Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility" on talk track B at #BOBkonf2026

Tutorial track B at #BOBkonf2026 continues with Carine Morel and Sudha Parimala's tutorial "Parallelism without panic: a user’s guide to multicore safety in OCaml".

We're caffeinated and ready to continue! #BOBkonf2026 talks track A brings us Markus Himmel with "Proofs for programs, programs for proofs".

Next on talks track A: Nicolas Osborne presents "Generating tests from formal specification" at #BOBkonf2026.

Markus Schlegel gives his talk "Git meets Linked Data" at #BOBkonf2026.

We've had lunch and are now energised for more talks and tutorials at #BOBkonf2026! Talks track A continues with Lutz Hühnken's talk "Four Fascinating Programming Languages You've Probably Never Heard Of".

We're back! Mark your calendars: BOBkonf returns on 13 March 2026 …

… and our Call for Contributions is up, with a submission deadline of 17 Nov 2025.

Find out more here:
https://bobkonf.de/2026/cfc.html

Registration for #BOBkonf2026 is now open! Our cheapest ticket tier, the pig-in-a-poke ticket, is on sale for €165 until the programme announcement date of 12 December.

Find more information here: https://bobkonf.de/2026/registration.html

Dr. Irmhild Rogalla and Alex Ackermann present "Barrierefreiheitsanforderungen an Software und IT-Systeme" on #BOBkonf2026 tutorial track B:

Tutorial track A at #BOBkonf2026 continues after a brief coffee break with "Illegal States Are My Favorite Security Vulnerabilities"—here's Michael Koppmann teaching:

Marco Schneider teaches the tutorial "FP in TypeScript" at #BOBkonf2026.

First talk after lunch on track B at #BOBkonf2026 is Falk Sippach & Till Rauch's "Funktionale Programmierung für vielbeschäftigte Javaentwickler".

We're happy to announce that International Software Architecture Qualification Board @isaqb@mastodon.social is sponsoring #BOBkonf2026 (https://bobkonf.de) at the silver level!

Holger Tiemeyer closes out tutorial track B at #BOBkonf2026 with "Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus".

Alexander Thiemann starts off the last talks track B block at #BOBkonf2026 with "Using Domain Driven Design to Refactor Stripe Billing".

Philipp Kant presents "Zero Knowledge Proof? That Sounds Useless!" at #BOBkonf2026.

On talks track B at #BOBkonf2026, Fritz Henglein presents "Programming Efficient Joins" to a freshly caffeinated audience.

Of course #BOBkonf2026 wouldn't be BOBkonf without tutorials, and we have eight of them again this year!

Starting off tutorial track A is Peter Thiemann with his hands-on introduction to Agda "Agda by Example: Programming and Proving with Dependent Types"

Read more: https://bobkonf.de/2026/peter-thiemann.html

The final talk on track B of #BOBkonf2026 is @tacticalgrace.justtesting.org 's "SwiftUI is functional":

The last tutorial on block A at #BOBkonf2026 is Andres Löh's "Haskell tutorial".