@bobkonf@discuss.systems

Bob Konferenz @bobkonf@discuss.systems · Jul 10, 2026

Our partner conference @OSCo@infosec.exchange 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: https://register.opensecurityconference.org/

10

3

10

0

Bob Konferenz @bobkonf@discuss.systems · Apr 30, 2026

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

9

2

7

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

1

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

7

0

5

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

2

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

1

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

2

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

The last block of talks on track A at #BOBkonf2026 starts with @hannes@social.coop and "Run your own digital infrastructure using MirageOS unikernels"

5

0

5

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

Martin Grotzke gives his talk "Zuverlässig laden – Reactive Systems im Einsatz für E-Mobility" on talk track B at #BOBkonf2026

5

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

2

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

Dr. Irmhild Rogalla and Alex Ackermann present "Barrierefreiheitsanforderungen an Software und IT-Systeme" on #BOBkonf2026 tutorial track B:

3

0

3

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 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:

3

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

2

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

4

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

4

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

4

0

3

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

5

0

4

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

Marco Schneider teaches the tutorial "FP in TypeScript" at #BOBkonf2026.

3

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

First talk after lunch on track B at #BOBkonf2026 is Falk Sippach & Till Rauch's "Funktionale Programmierung für vielbeschäftigte Javaentwickler".

3

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

We've had lunch and are now energised for more talks and tutorials at #BOBkonf2026! Talks track A continues with Lutz Hühnken's talk "Four Fascinating Programming Languages You've Probably Never Heard Of".

4

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Mar 13, 2026

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

7

0

4

0

Bob Konferenz @bobkonf@discuss.systems · Mar 05, 2026

Of course #BOBkonf2026 wouldn't be BOBkonf without tutorials, and we have eight of them again this year!

Starting off tutorial track A is Peter Thiemann with his hands-on introduction to Agda "Agda by Example: Programming and Proving with Dependent Types"

2

0

4

0

Bob Konferenz @bobkonf@discuss.systems · Jan 28, 2026

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

mastodon.social

iSAQB (@isaqb@mastodon.social) - Mastodon

3

0

2

0

Bob Konferenz @bobkonf@discuss.systems · Oct 20, 2025

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

8

0

7

0

Bob Konferenz @bobkonf@discuss.systems · Oct 02, 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:
https://bobkonf.de/2026/cfc.html

9

1

13

0

Bob Konferenz

Posts

iSAQB (@isaqb@mastodon.social) - Mastodon

Remote instance

Media