BOB Konferenz

#BOBkonf registration is now open! Come and get your massively reduced pig-in-a-poke ticket to #BOBkonf2027: bobkonf.de/2027/registr...

One more week to get in your #BOBkonf2027 proposals! The call for contributions is open until the end of the day, 2 Nov 2026, wherever you are in the world. #BOBkonf bobkonf.de/2027/cfc.html

Less than two weeks to go on our Call for Contributions! Send us your proposal for a talk or tutorial on what’s best in software development. bobkonf.de/2027/cfc.html

The call for contributions to #BOBkonf2027 is still open for one more month! We'd love to see yours. Submission deadline is 2nd November. Find more information, check bobkonf.de/2027/cfc.html #BOBkonf

They keynote for #BOBkonf2027 will be held by the incomparable Xavier Leroy, principal designer of #OCaml and #CompCert! bobkonf.de/2027/leroy.h...

The #BOBkonf2027 Call for Contributions is live! We're accepting submissions until 2 November 2026. More information regarding the call can be found here: bobkonf.de/2027/cfc.html

Our partner conference @opensecurityconf.bsky.social takes place in November, and registration for OSCO 2026 is now open! If you're interested in security, OSCO offers a relaxed, diverse open space format for you to meet like-minded folks. More information: register.opensecurityconference.org

Save the date: #BOBkonf2027 takes place Friday, 26 February 2027, at Scandic Hotel Potsdamer Platz in Berlin! Until then, why not re-watch some (or all!) of the excellent talks from previous conferences on our website? You can find them via bobkonf.de/archive/ #BOBkonf

Video of @tacticalgrace.justtesting.org's #BOBkonf2026 talk "SwiftUI is functional" is now up on our website: bobkonf.de/2026/chakrav... #BOBkonf

Video of NicolasRinaudo's #BOBkonf2026 talk "Encoding Effects as Capabilities" is now up on our website! bobkonf.de/2026/rinaudo... #BOBkonf

Video of Alexander Thiemann's #BOBkonf2026 talk "Using Domain Driven Design to Refactor Stripe Billing" is now up on our website! bobkonf.de/2026/alex-th... #BOBkonf

Video of Hannes Mehnert's #BOBkonf2026 talk "Run your own digital infrastructure using MirageOS unikernels" is now up on our website! bobkonf.de/2026/mehnert... #BOBkonf

Video of Martin Grotzke's #BOBkonf2026 talk "Zuverlässig laden — Reactive Systems im Einsatz für E-Mobility" is now up on our website! bobkonf.de/2026/grotzke... #BOBkonf

Video of Philipp Kant's #BOBkonf2026 talk "Zero Knowledge Proof? That Sounds Useless!" is now up on our website! bobkonf.de/2026/kant.html #BOBkonf

Video of Fritz Henglein's #BOBkonf2026 talk "Programming Efficient Joins" is now up on our website! bobkonf.de/2026/henglei... #BOBkonf

Video of Julia Himmel's #BOBkonf2026 talk "Proofs for programs, programs for proofs" is now up on our website! bobkonf.de/2026/himmel....

Markus Schlegel's #BOBkonf2026 talk "Git meets Linked Data—A Tale of Unusual Architecture" is now up for you to (re-)watch: bobkonf.de/2026/schlege...

In case you missed it: video of @sippsack.bsky.social and Till Rauch's #BOBkonf2026 talk "Funktionale Programmierung für vielbeschäftigte Javaentwickler" is now up on our website! bobkonf.de/2026/sippach...

Video of @huehnken.de's #BOBkonf2026 talk "Four Fascinating Programming Languages You've Probably Never Heard Of" is now up on our website! bobkonf.de/2026/huehnke...

Video of Franz Thoma's #BOBkonf2026 talk "Bridging the Gap Between UX Design and Development: Atomic Design & Storybook" is now up for you to rewatch! bobkonf.de/2026/thoma.h... #BOBkonf

Video of Paul-Elliot's #BOBkonf2026 talk "Undoable Monad" is now up! bobkonf.de/2026/paul-el...

Ariadne Engelbrecht's #BOBkonf2026 talk "Accessibility by Design: Practical A11y for Everyday Software Engineering" is now available online! bobkonf.de/2026/engelbr...

Video of @xvw.lol 's #BOBkonf2026 talk "A crash course on the OCaml module language" is now online! Find it here: bobkonf.de/2026/woestyn...

Thanks to CCC generously hosting, the videos for recorded talks from #BOBkonf2026 are going up! We're kicking this off today with Stefan Kaufmann's keynote "'Digital Sovereignty' – Searching for Meaning in a Magical Concept". Find the video, slides, etc here: bobkonf.de/2026/stk.html

We are happy to announce our new conference partnership. Warm greetings go to @bobkonf.bsky.social Although this years edition of BOBKonf already took place in March, we are looking forward to exchanging ideas and learning from each other. Check them out at bobkonf.de #osco #osco26 #BOBkonf2026

Attention all #Haskell fans: #MuniHac, our annual Haskell gathering, will take place in Munich from October 9th to 11th. Join us for a weekend of coding, learning, and hanging out with the international Haskell community. More information and the registration: munihac.de/2026.html

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

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

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

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

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

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

The last block of talks on track A at #BOBkonf2026 starts with Hannes Mehnert 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

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

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:

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

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

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

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

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

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've had lunch and are now energised for more talks and tutorials at #BOBkonf2026! Talks track A continues with @huehnken.de 's talk "Four Fascinating Programming Languages You've Probably Never Heard Of".

On #BOBkonf2026 talks track B, Franz Thoma gives his talk on "Atomic Design & Storybook".

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

Théo Tyburn opens tutorial track B at #BOBkonf2026 with "Functional 3D graphics for the browser in scheme".

Tutorial track A at #BOBkonf2026 starts with Joachim Breitner's "Lean" tutorial.

On #BOBkonf2026 talks track B, Ariadne Engelbrecht presents "Accessibility by Design: Practical A11y for Everyday Software Engineering".