BOB Konferenz
LightNews LightNews
bobkonf.bsky.social
BOB Konferenz
@bobkonf.bsky.social
120 followers 8 following 200 posts
The next BOB conference takes place in Berlin on 13 March 2026!

Register now: https://bobkonf.de/2026/registration

Organised by @activegroupgmbh.bsky.social

Also at @[email protected].
Posts Replies Media Videos
bobkonf.bsky.social
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...
February 2, 2026 at 9:29 AM
bobkonf.bsky.social
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...
January 30, 2026 at 9:50 AM
bobkonf.bsky.social
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....
January 29, 2026 at 9:00 AM
bobkonf.bsky.social
We're happy to announce that International Software Architecture Qualification Board @isaqb.bsky.social is sponsoring #BOBkonf2026 (bobkonf.de) at the silver level!
Logo for the iSAQB® International Software Architecture Qualification Board
January 28, 2026 at 12:01 PM
bobkonf.bsky.social
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...
January 27, 2026 at 1:15 PM
bobkonf.bsky.social
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....
January 26, 2026 at 9:06 AM
bobkonf.bsky.social
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...
January 23, 2026 at 9:00 AM
bobkonf.bsky.social
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...
January 22, 2026 at 9:33 AM
bobkonf.bsky.social
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/
Leaning In! 2026
A workshop for the Lean community - Thursday, March 12, 2026
leaning.in
January 21, 2026 at 9:19 AM
bobkonf.bsky.social
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...
BOB - Funktionale Programmierung für vielbeschäftigte Javaentwickler
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
bobkonf.de
January 20, 2026 at 9:14 AM
bobkonf.bsky.social
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...
January 19, 2026 at 9:11 AM
bobkonf.bsky.social
Final call for #BOBkonf2026 Early Bird tickets -- sales end at 23:59 UTC+1 tonight!

For more information, check bobkonf.de/2026/registr...
January 16, 2026 at 7:06 PM
bobkonf.bsky.social
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...
BOB - Bridging the Gap Between UX Design and Development: Atomic Design & Storybook
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
bobkonf.de
January 16, 2026 at 9:16 AM
bobkonf.bsky.social
Reminder: #BOBkonf2026 early bird ticket sales end tomorrow, 16 January, at 23:59 UTC+1!
January 15, 2026 at 2:48 PM
bobkonf.bsky.social
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...
January 15, 2026 at 9:00 AM
bobkonf.bsky.social
#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...
January 14, 2026 at 9:00 AM
bobkonf.bsky.social
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...
January 13, 2026 at 9:05 AM
bobkonf.bsky.social
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
January 12, 2026 at 9:07 AM
bobkonf.bsky.social
There's one week left to buy our discounted Early Bird Ticket! Find more information and get yours here: bobkonf.de/2026/registr...
January 9, 2026 at 10:54 AM
bobkonf.bsky.social
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:
bobkonf.de
January 7, 2026 at 8:01 AM
bobkonf.bsky.social
The programme for #BOBkonf2026 is up!

bobkonf.de/2026/program...
bobkonf.de
December 15, 2025 at 8:42 AM
bobkonf.bsky.social
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...
December 10, 2025 at 11:38 AM
bobkonf.bsky.social
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!
December 5, 2025 at 5:00 PM
bobkonf.bsky.social
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!
November 18, 2025 at 7:44 AM
bobkonf.bsky.social
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
November 17, 2025 at 10:59 AM