Sign in

BOB Konferenz

@bobkonf.de
153 followers 12 following 268 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 · 10/09/2026
#BOBkonf registration is now open! Come and get your massively reduced pig-in-a-poke ticket to #BOBkonf2027: bobkonf.de/2027/registr...
bobkonf.de
032
BOB Konferenz @bobkonf.de · 03/09/2026
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
bobkonf.de
087
BOB Konferenz @bobkonf.de · 10/07/2026
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
opensecurityconference.org
Home
Welcome to the Open Security Conference (osco), the people-centred international gathering for everyone interested in cybersecurity. Join us 5-8 November 2026 in Rückersbach, Germany.
065
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 · 06/07/2026
Video of @tacticalgrace.justtesting.org's #BOBkonf2026 talk "SwiftUI is functional" is now up on our website: bobkonf.de/2026/chakrav... #BOBkonf
bobkonf.de
BOB - SwiftUI is functional
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
022
BOB Konferenz @bobkonf.de · 03/07/2026
Video of NicolasRinaudo's #BOBkonf2026 talk "Encoding Effects as Capabilities" is now up on our website! bobkonf.de/2026/rinaudo... #BOBkonf
bobkonf.de
BOB - Encoding Effects as Capabilities
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
033
BOB Konferenz @bobkonf.de · 01/07/2026
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
bobkonf.de
BOB - Using Domain Driven Design to Refactor Stripe Billing
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
022
BOB Konferenz @bobkonf.de · 29/06/2026
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
bobkonf.de
BOB - Run your own digital infrastructure using MirageOS unikernels
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
054
BOB Konferenz @bobkonf.de · 26/06/2026
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
bobkonf.de
BOB - Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
022
BOB Konferenz @bobkonf.de · 24/06/2026
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
bobkonf.de
BOB - Zero Knowledge Proof? That Sounds Useless!
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
142
BOB Konferenz @bobkonf.de · 22/06/2026
Video of Fritz Henglein's #BOBkonf2026 talk "Programming Efficient Joins" is now up on our website! bobkonf.de/2026/henglei... #BOBkonf
bobkonf.de
BOB - Programming Efficient Joins
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
021
BOB Konferenz @bobkonf.de · 19/06/2026
Video of Julia Himmel's #BOBkonf2026 talk "Proofs for programs, programs for proofs" is now up on our website! bobkonf.de/2026/himmel....
media.ccc.de
Proofs for programs, programs for proofs
Proofs about programs are great, but what happens if we let programs and proofs interact in both directions? Lean is both a programming l...
0125
BOB Konferenz @bobkonf.de · 17/06/2026
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...
bobkonf.de
BOB - Git meets Linked Data – A Tale of an Unusual Architecture
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
022
BOB Konferenz @bobkonf.de · 15/06/2026
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...
bobkonf.de
BOB - Funktionale Programmierung für vielbeschäftigte Javaentwickler
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
033
BOB Konferenz @bobkonf.de · 12/06/2026
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...
bobkonf.de
BOB - Four Fascinating Programming Languages You've Probably Never Heard Of
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
053
BOB Konferenz @bobkonf.de · 10/06/2026
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
bobkonf.de
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.
033
BOB Konferenz @bobkonf.de · 08/06/2026
Video of Paul-Elliot's #BOBkonf2026 talk "Undoable Monad" is now up! bobkonf.de/2026/paul-el...
bobkonf.de
BOB - Going back in time with the Undoable Monad
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
065
BOB Konferenz @bobkonf.de · 05/06/2026
Ariadne Engelbrecht's #BOBkonf2026 talk "Accessibility by Design: Practical A11y for Everyday Software Engineering" is now available online! bobkonf.de/2026/engelbr...
bobkonf.de
BOB - Accessibility by Design: Practical A11y for Everyday Software Engineering
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
044
BOB Konferenz @bobkonf.de · 03/06/2026
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...
bobkonf.de
BOB - A crash course on the OCaml module language
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
085
BOB Konferenz @bobkonf.de · 02/06/2026
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
bobkonf.de
BOB - Keynote: „Digital Sovereignty“ – Searching for Meaning in a Magical Concept
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
054
Reposted by BOB Konferenz
Open Security Conference @opensecurityconf.bsky.social · 01/05/2026
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
bobkonf.de
053
Reposted by BOB Konferenz
TNG Technology Consulting GmbH @tngtech.com · 30/04/2026
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
054
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 · 12/03/2026
And the final tutorial on track B for #BOBkonf2026: Holger Tiemeyer's "Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus"! Find out more: bobkonf.de/2026/tiemeye...
001