The final talk on #BOBkonf2026 track A is Nicolas Rinaudo's "Encoding Effects as Capabilities" that discusses various features of Capabilities as implemented in Scala. Find out more: bobkonf.de/2026/rinaudo...

TNG Technology Consulting once again supports as as Bronze sponsor - many thanks! www.tngtech.com

We're happy to announce @entwicklerde.bsky.social as another returning sponsor, helping us out at the Silver level for #BOBkonf2026!

One month until #BOBkonf2026! If you haven't yet, get your tickets now -- details here: bobkonf.de/2026/registr...

We are delighted that Well-Typed LLD are back as Bronze sponsors for #BOBkonf2026! Check them out here: www.well-typed.com

The final block of talks on track B at #BOBkonf2026 starts with Alexander Thiemann with his experience of "Using Domain Driven Design to Refactor Stripe Billing". Find out more here: bobkonf.de/2026/alex-th...

For the final block of talks at #BOBkonf2026, Hannes Mehnert starts track A off with "Run your own digital infrastructure using MirageOS unikernels" where he introduces MirageOS's capabilities and explains how this project moved from a research experiment to production. bobkonf.de/2026/mehnert...

On track B at #BOBkonf2026, @tacticalgrace.justtesting.org's talk "SwiftUI is functional" gives insight into SwiftUI’s software architecture, with a focus on underlying concepts and not on a particular implementation. Find out more: bobkonf.de/2026/chakrav...

The second #BOBkonf2026 talk of this block in track A is Olaf Klinke's "Refinement types for the digital information age", where we examine what happens if we use property languages to design a data type that makes illegal states unrepresentable. Find out more: bobkonf.de/2026/klinke....

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

On track B, #BOBkonf2026 picks back up after the break with Fritz Henglein's talk "Programming Efficient Joins", where he shows that, contrary to common belief, joins are simple to program to be guaranteed worst-case optimal, even for cyclic queries like triangles. bobkonf.de/2026/henglei...

After a short break for tea, #BOBkonf2026 track A continues with "Proofs for programs, programs for proofs" -- Markus Himmel's talk on using Lean for both. Find out more: bobkonf.de/2026/himmel....

On track B, #BOBkonf2026 continues with Markus Schlegel's experience report "Git meets Linked Data – A Tale of an Unusual Architecture". Find out more: bobkonf.de/2026/schlege...

Track A at #BOBkonf2026 continues with "Generating tests from formal specification: the good, the bad and the messy" by Nicolas Osborne, a talk on the how to, pros, and cons of generating model-based testing from formal specifications in the OCaml ecosystem. For more, see bobkonf.de/2026/osborne...

Interrupting our regular #BOBkonf2026 updates to direct your attention to our partner conference Leaning In! that takes place the day BEFORE BOB, 12 March 2026, also in Berlin -- why not combine both if you're travelling anyway? Find more information here: leaning.in/2026/

Track B at #BOBkonf2026 continues after lunch with Falk Sippach & Till Rauch's talk "Funktionale Programmierung für vielbeschäftigte Javaentwickler". They show us which functional principles work in Java 8 and how to integrate them for better work- and control flow. More: bobkonf.de/2026/sippach...

After lunch, #BOBkonf2026 track A continues with @huehnken.de's talk "Four Fascinating Programming Languages You've Probably Never Heard Of". No spoilers in the teaser, but if you want to find out more: bobkonf.de/2026/huehnke...

Final call for #BOBkonf2026 Early Bird tickets -- sales end at 23:59 UTC+1 tonight! For more information, check bobkonf.de/2026/registr...

As the second talk on #BOBkonf2026 track B, we'll have Franz Thoma with "Bridging the Gap Between UX Design and Development: Atomic Design & Storybook", introducing a structured approach for communicating reusable UI components between designers and developers. More: bobkonf.de/2026/thoma.h...

Reminder: #BOBkonf2026 early bird ticket sales end tomorrow, 16 January, at 23:59 UTC+1!

As the second talk on #BOBkonf2026's track A, Paul-Elliot will present "Going back in time with the Undoable Monad" and talk about how monads are a way to embed a “computing” DSL in a programming language. More detail: bobkonf.de/2026/paul-el...

#BOBkonf2026 talks track B starts off with Ariadne Engelbrecht's "Accessibility by Design: Practical A11y for Everyday Software Engineering", a talk focussed on ways to make accessibility a natural part of our everyday engineering work. Find out more here: bobkonf.de/2026/engelbr...

Following the keynote, #BOBkonf2026 talks track A starts off with @xvw.lol 's "A crash course on the OCaml module language", a talk that explores OCaml’s powerful module system as a core language feature. For more information, see bobkonf.de/2026/woestyn...

Kicking off our intro to the #BOBkonf2026 programme with our keynote: Stefan Kaufmann's "'Digital Sovereignty' – Searching for Meaning in a Magical Concept" explores the ways the term has been used over the past decade. More detail: bobkonf.de/2026/stk.html

There's one week left to buy our discounted Early Bird Ticket! Find more information and get yours here: bobkonf.de/2026/registr...

First week of 2026 is done! #BOBkonf2026 preparations recap so far: our Early Bird tickets are on sale, our program is up, and over the coming weeks, we'll make a series of posts introducing our program points. Same procedure as every year, friends. Don't want to wait? All information is up here:

The programme for #BOBkonf2026 is up! bobkonf.de/2026/program...

Our heavily discounted pig-in-a-poke ticket is only available for another ~35 hours—sales end 23:59 UTC+1 on 11 Dec (tomorrow)! After that, Early Bird pricing applies. Registration info: bobkonf.de/2026/registr...

Notifications are out for #BOBkonf2026. This is once again a *great* program - with a sad eye we look at the long list of great submissions we had to reject. Program will be out on Dec 12. See you hopefully on March 13 in Berlin!

The call for contributions for #BOBkonf2026 is now closed! Thank you for a huge number of wonderful submissions (one more than last year!) -- the committee will work on assembling a programme; expect a notification by 5 December. Stay tuned!

Today -- 17 November -- is the last day to submit your #BOBkonf2025 contribution! Deadline is at midnight, whenever that is for you. bobkonf.de/2026/cfc.html

If you haven’t submitted your contribution to the #BOBkonf2025 programme yet and would like to do so, you've still got the weekend to get it done: the deadline is on MONDAY, 17. November! bobkonf.de/2026/cfc.html

Deadline for #BOBkonf2025 submissions is coming up fast: you have one more week — call ends end of day on 17 November 2025. bobkonf.de/2026/cfc.html

You've got two more weeks to beat your submission for #BOBkonf2025 into shape: call ends end of day on 17 November 2025. bobkonf.de/2026/cfc.html

We're happy to announce Stefan Kaufmann (stefan.bloggt.es; @[email protected] on the Fediverse) as our keynote speaker for #BOBkonf2026!

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: bobkonf.de/2026/registr...

You have one more month to submit a talk or tutorial proposal to #BOBkonf2026: the deadline is 17 November 2025. We look forward to hearing from you!

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: bobkonf.de/2026/cfc.html

Auf unserem Blog ist jetzt die Retrospektive für die diesjährige @bobkonf.bsky.social nachzulesen: funktionale-programmierung.de/2025/05/23/b...

And finally, here's Nicole Rauch and Martin Günther's #BOBkonf2025 talk "Die Starre überwinden – Mit DDD zu geschmeidigem Code": bobkonf.de/2025/rauch-g...

Start your week with Ivett Ördög's #BOBkonf2025 talk "The Microservices Problem No One Warned Us About (And How You Can Avoid It)" here: bobkonf.de/2025/oerdoeg...

Here's Joachim Breitner's #BOBkonf2025 talk "Recursive Definitions in Lean" for your to (re)watch: bobkonf.de/2025/breitne...

#BOBkonf2025 talk "Property-Based Testing: The Past, The Present, and The Future" by @keles.bsky.social is up on our website! bobkonf.de/2025/keles.h...

Franz Thoma's #BOBkonf2025 talk "OOP is dead, long live Object Orientation!" is now up on our website: bobkonf.de/2025/thoma.h...

If you missed @tacticalgrace.justtesting.org's #BOBkonf2025 talk "Functional data structures in Swift", here's your chance to catch up: bobkonf.de/2025/chakrav...

(Re)watch the recording of @sperbsen.bsky.social's #BOBkonf2025 talk "Things We Never Told Anyone About Functional Programming" here: bobkonf.de/2025/sperber...

Missed @abailly.bsky.social 's "Against the (formal) method?" at #BOBkonf2025? Here's your chance to catch up! bobkonf.de/2025/bailly....

Good morning! Start your week with Hannes Siebenhandl's #BOBkonf2025 talk "A Language Server for your DSL for Fun and Profit": bobkonf.de/2025/siebenh...

The good folks at @tarides.com have written a wunderful review of our conference -- check it out!

Start your weekend with Guillaume Allais's #BOBkonf2025 talk "Correct by Construction: Concurrent Programs in Idris 2": bobkonf.de/2025/allais....