Sign in

BOB Konferenz

@bobkonf.de
155 followers 12 following 269 posts

The next BOB conference takes place in Berlin on 26 February 2027! Organised by @active-group.de Also at @bobkonf@discuss.systems.

PostsRepliesMedia
BOB Konferenz @bobkonf.de · 21/09/2026
They keynote for #BOBkonf2027 will be held by the incomparable Xavier Leroy, principal designer of #OCaml and #CompCert! bobkonf.de/2027/leroy.h...
Portrait photo of Xavier Leroy
0127
BOB Konferenz @bobkonf.de · 08/07/2026
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
BOB Konferenz 2027 logo. A stick figure head with three red hairs growing from its head peeks over a black line. The Berlin skyline is faintly visible in the background. The Words "BOB 2027" are printed large, with BOB in black and 2027 in red. Underneath the word BOB the word "Konferenz" (German for conference) is printed.
Under the line there's black text that reads "26 February in Berlin"
142
BOB Konferenz @bobkonf.de · 30/04/2026
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 Open Security Conference (OSCO) logo -- a little cartoon monkey with large ears and a friendly face holds a stylised burning lock. The letters OSCO are written above its head.
142
BOB Konferenz @bobkonf.de · 13/03/2026
The final talk on track B of #BOBkonf2026 is @tacticalgrace.justtesting.org 's "SwiftUI is functional":
Manuel Chakravarty presents his talk "SwiftUI is functional" at BOBkonf 2026.
1104
BOB Konferenz @bobkonf.de · 13/03/2026
NicolasRinaudo closes out #BOBkonf2026 's talks block A with "Encoding Effects as Capabilities"
NicolasRinaudo presents "Encoding Effects as Capabilities" at Bobkonf 2026.
042
BOB Konferenz @bobkonf.de · 13/03/2026
Holger Tiemeyer closes out tutorial track B at #BOBkonf2026 with "Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus".
Holger Tiemeyer teaches his tutorial "Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus" at BOBkonf 2026.
012
BOB Konferenz @bobkonf.de · 13/03/2026
The last tutorial on block A at #BOBkonf2026 is Andres Löh's "Haskell tutorial".
Andres Löh teaches his "Haskell tutorial" at BOBkonf 2026.
032
BOB Konferenz @bobkonf.de · 13/03/2026
Alexander Thiemann starts off the last talks track B block at #BOBkonf2026 with "Using Domain Driven Design to Refactor Stripe Billing".
Alexander Thiemann presents his talk "Using Domain Driven Design to Refactor Stripe Billing" at BOBkonf 2026.
034
BOB Konferenz @bobkonf.de · 13/03/2026
The last block of talks on track A at #BOBkonf2026 starts with Hannes Mehnert and "Run your own digital infrastructure using MirageOS unikernels"
Hannes Mehnert gives his talk "Run your own digital infrastructure using MirageOS unikernels" at Bobkonf 2026.
043
BOB Konferenz @bobkonf.de · 13/03/2026
Martin Grotzke gives his talk "Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility" on talk track B at #BOBkonf2026
Martin Grotzke presents "Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility" at BOBkonf 2026.
012
BOB Konferenz @bobkonf.de · 13/03/2026
Philipp Kant presents "Zero Knowledge Proof? That Sounds Useless!" at #BOBkonf2026.
Philipp Kant presents "Zero Knowledge Proof? That Sounds Useless!" at BOBkonf 2026. The slide on the wall is entitled "Z and the divisibility claim".
032
BOB Konferenz @bobkonf.de · 13/03/2026
Dr. Irmhild Rogalla and Alex Ackermann present "Barrierefreiheitsanforderungen an Software und IT-Systeme" on #BOBkonf2026 tutorial track B:
Alex Ackermann and Dr. Irmhild Rogalla present their accessibility tutorial "Unter der Haube - Barrierefreiheitsanforderungen an Software und IT-Systeme" at Bobkonf 2026.
012
BOB Konferenz @bobkonf.de · 13/03/2026
Tutorial track A at #BOBkonf2026 continues after a brief coffee break with "Illegal States Are My Favorite Security Vulnerabilities"—here's Michael Koppmann teaching:
Michael Koppmann teaches his tutorial "Illegal States Are My Favorite Security Vulnerabilities (to Delete at Compile Time)" at Bobkonf 2026.
012
BOB Konferenz @bobkonf.de · 13/03/2026
On talks track B at #BOBkonf2026, Fritz Henglein presents "Programming Efficient Joints" to a freshly caffeinated audience.
Fritz Henglein presents his talk "Programming Efficient Joints" at Bobkonf 2026.
054
BOB Konferenz @bobkonf.de · 13/03/2026
We're caffeinated and ready to continue! #BOBkonf2026 talks track A brings us Markus Himmel with "Proofs for programs, programs for proofs".
Markus Himmel presents his talk "Proofs for programs, programs for proofs" at Bobkonf 2026. A slide titled "Matching on empty types" is visible on the wall.
022
BOB Konferenz @bobkonf.de · 13/03/2026
Markus Schlegel gives his talk "Git meets Linked Data" at #BOBkonf2026.
Markus Schlegel presenting "Git meets Linked Data" at #BOBkonf2026.
012
BOB Konferenz @bobkonf.de · 13/03/2026
Next on talks track A: Nicolas Osborne presents "Generating tests from formal specification" at #BOBkonf2026.
Nicolas Osborne presenting his talk "Generating tests from formal specification" at Bobkonf 2026.
022
BOB Konferenz @bobkonf.de · 13/03/2026
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".
Carine Morel and Sudha Parimala teaching their tutorial "Parallelism without panic: a user’s guide to multicore safety in OCaml" at BOBkonf 2026.
0115
BOB Konferenz @bobkonf.de · 13/03/2026
Marco Schneider teaches the tutorial "FP in TypeScript" at #BOBkonf2026.
Marco Schneider teaches a tutorial on functional programming in typescript at Bobkonf 2026.
012
BOB Konferenz @bobkonf.de · 13/03/2026
First talk after lunch on track B at #BOBkonf2026 is Falk Sippach & Till Rauch's "Funktionale Programmierung für vielbeschäftigte Javaentwickler".
Till Rauch and Falk Sippach give their (German-language) talk "FP für vielbeschäftigte Javaentwickler"
012
BOB Konferenz @bobkonf.de · 13/03/2026
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".
Lutz Hühnken speaks about "four fascinating programming languages" at BOBkonf 2026.
022
BOB Konferenz @bobkonf.de · 13/03/2026
On #BOBkonf2026 talks track B, Franz Thoma gives his talk on "Atomic Design & Storybook".
Franz Thoma speaks on "Atomic Design & Storybook" at BOBkonf 2026.
022
BOB Konferenz @bobkonf.de · 13/03/2026
Paul-Elliot gives his talk on "Undoable Monad" on talk track A of #BOBkonf2026.
Paul-Elliot gives his talk on "Undoable Monad" at BOBkonf 2026. The audience is partially visible.
0114
BOB Konferenz @bobkonf.de · 13/03/2026
Théo Tyburn opens tutorial track B at #BOBkonf2026 with "Functional 3D graphics for the browser in scheme".
Théo Tyburn teaches "Functional 3D graphics for the browser in scheme" at BOBkonf 2026.
011
BOB Konferenz @bobkonf.de · 13/03/2026
Tutorial track A at #BOBkonf2026 starts with Joachim Breitner's "Lean" tutorial.
Johannes Breitner teaches a tutorial at BOBkonf 2026.
011
BOB Konferenz @bobkonf.de · 13/03/2026
On #BOBkonf2026 talks track B, Ariadne Engelbrecht presents "Accessibility by Design: Practical A11y for Everyday Software Engineering".
Ariadne Engelbrecht presents "Accessibility by Design: Practical A11y for Everyday Software Engineering" at BOBkonf 2026. A slide with information about her is projected onto the wall.
011
BOB Konferenz @bobkonf.de · 13/03/2026
Talk track A at #BOBkonf2026 starts off with @xvw.lol 's "A crash course on the OCaml module language"!
Xavier van de Woestyne presents "A crash course on the OCaml module language" at BOBkonf 2026. A slide in the background reads "Why this presentation & warning"
1168
BOB Konferenz @bobkonf.de · 13/03/2026
#BOBkonf2026 is off to a great start with Stefan Kaufmann's keynote "'Digital Sovereignty' – Searching for Meaning in a Magical Concept".
Stefan Kaufmann speaks on "'Digital Sovereignty' – Searching for Meaning in a Magical Concept" at BOBkonf 2026. A slide projection shows the heading "II. Logomachy and Magic Concepts"
021
BOB Konferenz @bobkonf.de · 26/02/2026
TNG Technology Consulting once again supports as as Bronze sponsor - many thanks! www.tngtech.com
Logo for TNG Technology Consulting with the slogan "We solve hard IT problems"
000
BOB Konferenz @bobkonf.de · 11/02/2026
We are delighted that Well-Typed LLD are back as Bronze sponsors for #BOBkonf2026! Check them out here: www.well-typed.com
Well-Typed LLD company logo, reading
"Well-Typed
The Haskell Consultants
Established 2008"
043
BOB Konferenz @bobkonf.de · 28/01/2026
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
052
BOB Konferenz @bobkonf.de · 02/10/2025
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
BOB Conference logo: a smiling stick figure face that seems to look over a line, drawn in black lines on a white background. The figurine has three red hairs. The writing right of the image says "BOB Konferenz 2026"
096
BOB Konferenz @bobkonf.de · 14/03/2025
Nicole Rauch and Martin Günther present their talk "Die Starre überwinden - Mit DDD zu geschmeidigem Code" at #BOBkonf2025
Two people presenting at a conference. Several audience members are visible from behind.
031
BOB Konferenz @bobkonf.de · 14/03/2025
Ivett Ördög gives her talk "The Microservices Problem No One Warned Us About (And How You Can Avoid It)" at #BOBkonf2025
Ivett Ördög presenting her talk at BOB conference 2025
031
BOB Konferenz @bobkonf.de · 14/03/2025
Joshua Töpfer teaches his tutorial "Die andere Art des Teamworks: Whole Team Ensemble Programming" at #BOBkonf2025
A person gives a presentation at a conference. Most of the image is taken up by a the big presentation on the wall.
011
BOB Konferenz @bobkonf.de · 14/03/2025
Roland Meyer (not pictured) and Thomas Haas giving their tutorial "Programming with weak consistency, and Dartagnan" at #BOBkonf2025
A person with a beard teaching a tutorial. Several audience members are visible from behind.
021
BOB Konferenz @bobkonf.de · 14/03/2025
Joachim Breitner talks about "Lean" at #BOBkonf2025
A person presents at a conference. They are wearing a t-shirt with a lambda symbol on it.
022
BOB Konferenz @bobkonf.de · 14/03/2025
Alperen Keles presents his talk "Property-Based Testing: The Past, The Present, and The Future" at #BOBkonf2025
A person presents at a conference. Some audience members are visible in the left corner of the image.
042
BOB Konferenz @bobkonf.de · 14/03/2025
Franz Thoma presenting his talk "OOP is dead, long live Object Orientation!" at #BOBkonf2025
A person gives a talk at a conference.
132
BOB Konferenz @bobkonf.de · 14/03/2025
@tacticalgrace.justtesting.org giving his talk "Functional data structures in Swift" at #BOBkonf2025
A person giving a talk at a conference.
173
BOB Konferenz @bobkonf.de · 14/03/2025
Benjamin Wolf teaches participants how to create beautiful documentation in "Schöne Dokumentation – nur mit Text" at #BOBkonf2025
A seated person presenting at a conference.
022
BOB Konferenz @bobkonf.de · 14/03/2025
Kevin Jahns teaches his #BOBkonf2025 tutorial "Build collaborative applications with Yjs"
A person with long hair and a beard talks animatedly. A presentation is projected onto the wall in the background.
022
BOB Konferenz @bobkonf.de · 14/03/2025
@sperbsen.bsky.social speaks on "Things We Never Told Anyone About Functional Programming" at #BOBkonf2025
A person presents a talk at a conference.
022
BOB Konferenz @bobkonf.de · 14/03/2025
Stevan A speaks on "Coverage-guided property-based testing" at #BOBkonf2025
A person presents at a conference.
022
BOB Konferenz @bobkonf.de · 14/03/2025
The audience listens as @abailly.bsky.social presents "Against the (formal) method?" at #BOBkonf2025
A person with a beard and glasses speaks to an auditorium while several people listen. A presentation is projected onto the wall in the background.
053
BOB Konferenz @bobkonf.de · 14/03/2025
At #BOBkonf2025, Hannes Siebenhandl gives his talk "A Language Server for your DSL for Fun and Profit"
A person is speaking in front of several people.
033
BOB Konferenz @bobkonf.de · 14/03/2025
Kaan Sahin gives his tutorial "Resiliente Systeme entwickeln mit Elixir: Fehlertoleranz von Grund auf" at #BOBkonf2025
A seated person teaches a tutorial. Three audience members are visible from the back.
043
BOB Konferenz @bobkonf.de · 14/03/2025
@kirahowe.com teaches "Reproducible data science with Clojure" in her tutorial at #BOBkonf2025!
A seated person with long hair tied back sits in front of a large presentation screen, presenting.
094
BOB Konferenz @bobkonf.de · 14/03/2025
In Talks B, Guillaume Allais is speaking on "Correct by Construction Concurrent Programs in Idris 2" at #BOBkonf2025
A person with hair in a bun and glasses holds a presentation in front of an audience.
032
BOB Konferenz @bobkonf.de · 14/03/2025
Ziyang Liu talks "Developing DSLs: A Look at Three Practical Strategies with Real-World Examples" at #BOBkonf2025
A person with short dark hair presents in front of a crowded room.
022