iiinova — where your digital self keeps evolving

Active Group GmbH @active-group.de · 23/09/2026

FUNAR-Plätze frei! Wir halten vom 26. bis 29.10.2026 online eine @isaqb.bsky.social-zertifizierte Schulung zur funktionalen Softwarearchitektur (FUNAR) ab. Mehr Details finden Sie hier: lnkd.in/dSDqPGYm

000

Reposted by Active Group GmbH

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...

0127

Active Group GmbH @active-group.de · 11/09/2026

Unsere neue @isaqb.bsky.social-Schulung: „FM – Formale Methoden“ mit @sperbsen.bsky.social - wie korrekte Software durch mathematische Beweise sichergestellt werden kann. 5.10. - 7.10.2026, 9:00 - 17:00 Uhr oose.campus | Schomburgstraße 50 | 22767 Hamburg Anmeldung: www.oose.de/seminar/form...

011

Active Group GmbH @active-group.de · 08/09/2026

Unsere Hauskonferenz, die BOB, findet auch 2027 wieder statt: am 26. Februar in Berlin. Der Call for Contributions ist eröffnet und läuft bis zum 2. November, wir freuen uns über Beiträge!

000

Active Group GmbH @active-group.de · 07/09/2026

In ca. einem Monat ist @sperbsen.bsky.social beim Software-Architecture-Summit -- noch gibt es Tickets!

012

Active Group GmbH @active-group.de · 12/08/2026

Am 12.11.2026 ist Active-Group-CEO @sperbsen.bsky.social mit seinem Vortrag "Testbarkeit als Architekturprinzip" beim Software-QS-Tag in Frankfurt am Main. Anhören lohnt sich! Weitere Infos unter www.qs-tag.de/abstracts/te...

qs-tag.de

Abstracts

031

Active Group GmbH @active-group.de · 06/08/2026

Till Rauch's blog post "Laziness in Haskell" is now available-- with an English version for those who'd prefer that: funktionale-programmierung.de/en/2026/08/0...

000

Active Group GmbH @active-group.de · 06/08/2026

Kollege Till Rauch hat auf unserem Firmenblog einen neuen Artikel veröffentlicht: "Laziness in Haskell" betrachtet, welche Vorteile die Laziness mit sich bringt, aber auch, welche Fallstricke durch sie entstehen. Interesse? Hier entlang: funktionale-programmierung.de/en/2026/08/0...

funktionale-programmierung.de

Funktionale Programmierung - Laziness in Haskell

This article describes advantages and disadvantages of laziness in Haskell. They are illustrated in code examples.

000

Active Group GmbH @active-group.de · 04/08/2026

Unser Training zum iSAQB-Curriculum ist fertig und steht vor der Akkreditierung. Erste Kurse gibt's ab 7.10. in Hamburg und ab 30.11. online. www.active-group.de/de/schulung/...

active-group.de

Active Group

011

Reposted by Active Group GmbH

iSAQB® - International Software Architecture Qualification Board @isaqb.bsky.social · 03/08/2026

𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗲𝘁𝗵𝗼𝗱𝘀: 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹 𝗼𝗻 𝗣𝗿𝗲𝘃𝗲𝗻𝘁𝗶𝗻𝗴 𝗖𝗼𝘀𝘁𝗹𝘆 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗗𝗲𝗳𝗲𝗰𝘁𝘀 🧮 What if you could prevent software defects before they become expensive problems? @lars.mastodon.hupel.info.ap.brid.gy explains why #FormalMethods are more practical than many think. 👉️ t1p.de/3cr0d #iSAQB #CPSA

Formal Methods: Interview with Lars Hupel on Preventing Costly Software Defects

022

Active Group GmbH @active-group.de · 31/07/2026

Die einen oder anderen haben es vielleicht schon gemerkt: die Active Group hat ein neues Logo! Statt unserem alten @ctivegroup-Logo gibt's jetzt Wort- und Bildmarke in verschiedenen Farbkombinationen. Mehrere Monate haben unsere Kolleg:innen gemeinsam mit Designer Johannes Benedix daran gefeilt.

000

Active Group GmbH @active-group.de · 29/07/2026

Am Mittwoch, dem 14.10.2026, gibt Active-Group-C*O @sperbsen.bsky.social beim Software-Architecture-Summit eine Keynote zum Thema "Was ist eigentlich aus Objekt-Orientiertem Design geworden?". Vorbeischauen lohnt sich! Weitere Infos: software-architecture-summit.de/modeling-und...

software-architecture-summit.de

Was ist eigentlich aus Objekt-Orientiertem Design geworden? - Software Architecture Summit

011

Active Group GmbH @active-group.de · 08/07/2026

Was für den Kalender: am 26. Februar 2027 geht unsere Hauskonferenz, die BOB, in die nächste Runde! Weitere Infos unter bobkonf.de oder hier auf Bluesky: @bobkonf.bsky.social

bobkonf.de

022

Active Group GmbH @active-group.de · 02/07/2026

Heute in einer Woche, am 9. Juli, sind @sperbsen.bsky.social und Kollege Till Rauch beim vom @jugs.org organisierten Java-Forum Stuttgart -- vorbeischauen lohnt sich! Links zu den Vorträgen finden Sie in den zitierten Beiträgen (zwei Ebenen–bitte klicken :) )

011

Active Group GmbH @active-group.de · 23/06/2026

We've heard a lot about #AgenticEngineering these past few months, whether we wanted to or not. @sperbsen.bsky.social post on our company blog summarises the results of our discussions at Active Group: funktionale-programmierung.de/en/2026/06/2...

funktionale-programmierung.de

Funktionale Programmierung - Active Group and "Agentic Engineering"

143

Active Group GmbH @active-group.de · 23/06/2026

Inmitten der laufenden Debatte zu #AgenticEngineering haben auch wir bei der Active Group uns mit der Thematik auseinandergesetzt. Die Ergebnisse unserer Debatte hat @sperbsen.bsky.social in einem Blogpost zusammengefasst, den Sie hier lesen können: funktionale-programmierung.de/2026/06/23/a...

Zwei Personen in 60er-Jahre-Kleidung stehen links und rechts neben einem alten Rechner

033

Active Group GmbH @active-group.de · 19/06/2026

Unser Chef @sperbsen.bsky.social hat auf dem Tag der Digitalen Freiheit des Chaostreff Tübingen über den Weg der @activegroupgmbh.bsky.social zu einer nachhaltigen Kapitalgesellschaft berichtet. Dank dem VOC des CCC kann man die Aufnahme anschauen! media.ccc.de/v/tdf5-166-d...

media.ccc.de

Die nachhaltige Kapitalgesellschaft – Versuchsanordnung und Bestandsaufnahme

Die Tübinger Firma Active Group GmbH gibt es seit 1997 und wurde ursprünglich als Familienunternehmen gegründet. Die Gründer hatten, als ...

023

Active Group GmbH @active-group.de · 12/06/2026

Auch Kollege Till Rauch wird beim @jugs.org Java-Forum Stuttgart 2026 am 9. Juli dabei sein: gemeinsam mit Falk Sippach (embarc Software Consulting GmbH) hält er dort den Vortrag "Funktionale Programmierung in Java. Was wir von Haskell lernen können". www.java-forum-stuttgart.de/vortraege/fu...

java-forum-stuttgart.de

Funktionale Programmierung in Java - Java Forum Stuttgart

In vielen Java-Projekten wird funktionale Programmierung noch immer als exotisch oder unnötig betrachtet. Statt klarer Datenflüsse und unveränderlicher Zustände dominieren imperative Strukturen, Seite...

011

Active Group GmbH @active-group.de · 08/06/2026

Nächste Woche ist iSAQB® Software Architecture Forum, und @sperbsen.bsky.social ist dabei! Noch gibt es Tickets:

000

Active Group GmbH @active-group.de · 03/06/2026

Nächste Woche findet vom 8.-12. Juni die Softwaremodellierungs- & Design-Konferenz @dddeu.bsky.social statt und Kollege Marco Schneider hält gemeinsam mit Martin Günther den Workshop "Collaborative Data Modeling: Discovering Domain Types Through Linguistic Cues". 2026.dddeurope.com/program/coll...

2026.dddeurope.com

Collaborative Data Modeling: Discovering Domain Types Through Linguistic Cues - DDD Europe 2026

022

Active Group GmbH @active-group.de · 02/06/2026

Dies Wochenende ist AG-Chef @sperbsen.bsky.social mit gleich zwei Workshops beim @zurihac.bsky.social: - "Write Your Own Haskell Program!" (Einsteiger) - "Teaching Programming (Haskell) to Your Loved Ones" (Fortgeschrittene) Mitmachen lohnt sich! Weitere Infos: zfoh.ch/zurihac2026/

zfoh.ch

ZuriHac 2026

ZuriHac is a free annual Haskell event brought to you by «Zürich Friends of Haskell»

032

Active Group GmbH @active-group.de · 19/05/2026

Kollege Markus Schlegel hat Ende letzter Woche in unserem Firmenblog einen neuen Artikel veröffentlicht: im dritten Teil seiner Artikelserie zum Programmieren mit Z3 dreht sich alles um Liquid Haskell. Link: funktionale-programmierung.de/2026/05/15/z... Teil 1 und 2 sind von Teil 3 aus verlinkt.

funktionale-programmierung.de

Funktionale Programmierung - Verifikation von Algorithmen mit Z3 – Teil 3

033

Active Group GmbH @active-group.de · 18/05/2026

Übermorgen ist es soweit: @sperbsen.bsky.social und Markus Schlegel sind bei der heise-Konferenz für Medizintechnik. Schaut vorbei!

033

Active Group GmbH @active-group.de · 13/05/2026

Chef @sperbsen.bsky.social spricht am Freitag, 15. Mai, bei den Tagen der digitalen Freiheit #TDF5 in "Die nachhaltige Kapitalgesellschaft—Versuchsanordnung und Bestandsaufnahme" über den Weg der Active Group zur mitarbeiter:innengeführten Firma. Weiterlesen: cfp.cttue.de/tdf5/speaker...

cfp.cttue.de

Mike Sperber TDF5

Schedule, talks and talk submissions for TDF5

043

Active Group GmbH @active-group.de · 30/04/2026

Am 09.07.2026 ist Active-Group-Chef @sperbsen.bsky.social mit seinem Vortrag "Data-Oriented Programming—Was ist das und wie geht das?" beim Java-Forum Stuttgart, organisiert durch @jugs.org Mehr Informationen: www.active-group.de/news/2026-04...

active-group.de

Active Group

011

Active Group GmbH @active-group.de · 23/04/2026

Heute ist Girls' Day! Neun Schülerinnen aus Tübingen und Umgebung besuchen die Active Group, um den Alltag einer Softwareentwicklerin kennenzulernen. Wir ein spannendes Programm geplant; gerade gibt @sperbsen.bsky.social eine Einführung in die funktionale Programmierung mit Racket.

Michael Sperber unterrichtet im Rahmen des Girls' Day 2026 funktionale Programmierung mit Racket.

032

Active Group GmbH @active-group.de · 30/03/2026

Am 16.-17. Juni veranstaltet der iSAQB® das Software Architecture Forum in München-Unterhaching. Unser Chef Dr. Michael Sperber ist ebenfalls vertreten mit Vorträgen und wird auf dem Abschlusspanel des Forums dabeisein. Very Early Bird läuft noch bis Donnerstag! conferences.isaqb.org/software-arc...

conferences.isaqb.org

Das iSAQB Software Architecture Forum 2026

iSAQB Software Architecture Forum | 16.-17. Juni 2026 in München – Unterhaching | Die neue iSAQB®-Community-Konferenz für DACH

023

Active Group GmbH @active-group.de · 27/03/2026

Am 20. Mai um 17:15 halten @sperbsen.bsky.social und Kollege Markus Schlegel bei der MedConf in München einen Vortrag zum Thema "Formale Methoden am Praxisbeispiel". Sie werden die Methoden und Werkzeuge an einem einfachen Herzschrittmacher auf Basis des Bresenham-Algorithmus demonstrieren.

medconf.de

MedConf – Die führende Konferenz für Software & Geräteentwicklung in der Medizintechnik

Der wichtigste Branchentreff im DACH-Raum: Erfahren Sie alles über Normen, Richtlinien, KI, Risikomanagement und Qualitätssicherung in der Medizintechnik.

021

Active Group GmbH @active-group.de · 27/03/2026

For more than a decade, we've been running our blog on functional programming, with over 150 posts to date. Until recently, we wrote for a German-speaking audience. We now also publish many posts in English, and have also translated key posts of the pasts. Enjoy! funktionale-programmierung.de/en/

031

Active Group GmbH @active-group.de · 10/03/2026

Active-Group-Chef @sperbsen.bsky.social und Kollege Markus Schlegel sind in der heutigen Folge des Podcasts Software Testing dabei. Reingucken oder -hören lohnt sich! www.richard-seidl.com/de/blog/qual...

richard-seidl.com

Formale Methoden in der Softwarequalität - Richard Seidl

Entdecke, wie formale Methoden Fehler in Software verhindern und Qualität sichern. Erfahre, warum sie mehr als reine Theorie sind.

042

Active Group GmbH @active-group.de · 26/02/2026

Ab dem 23.3. unterrichtet unser Chef Dr. Michael Sperber (@sperbsen) die iSAQB-Advanced-Level-Schulung “Funktionale Softwarearchitektur” (FUNAR), bei unseren Freunden bei oose in Hamburg. www.active-group.de/schulung/FUN...

active-group.de

Active Group

101

Active Group GmbH @active-group.de · 02/02/2026

It's been a while - but next week, we'll once again have a booth at OOP. Come see us to chat - or just come to see a booth that looks ... a little different.) Also check out our CEO's talk on Resurrecting OOA/OOD for the 21st Century on Thursday! www.oop-konferenz.de/de/programm/...

A photo of a trade-show booth for Active Group with the word “Abstraktion” featured prominently, along with a CRT terminal and a dot-matrix printer.

021

Active Group GmbH @active-group.de · 16/10/2025

New article up on our blog on functional programming: Markus Schlegel's "On the Testability of Pure Functions" talks about testability, formalisability, and the relationship between these two qualities. Read it here: funktionale-programmierung.de/en/2025/10/1...

funktionale-programmierung.de

Funktionale Programmierung - On the Testability of Pure Functions

043

Active Group GmbH @active-group.de · 16/10/2025

Kollege @defmarco.bsky.social hat's schon perfekt zusammengefasst: der Blogartikel lohnt sich (und ist mittlerweile auch in englischer Sprache verfügbar, nämlich hier: funktionale-programmierung.de/en/2025/10/1... )

001

Active Group GmbH @active-group.de · 02/10/2025

Unsere Hauskonferenz, die BOB, steht auch 2026 wieder an und wir freuen uns über Einreichungen!

020

Reposted by Active Group GmbH

Active Group GmbH @active-group.de · 20/06/2025

Bei der diesjährigen //heise DevSec() in Regensburg ist @sperbsen.bsky.social mit seinem Vortrag "Kugelsichere Software mit formalen Methoden" dabei. Angesetzter Termin für den Vortrag ist der 1. Oktober um 15:35. Neugierig geworden? Mehr Informationen gibt's hier ↓

heise-devsec.de

heise devSec – die Konferenz für sichere Software- und Webentwicklung

Sichere Software beginnt vor der ersten Zeile Code ... Schwerpunkte im Herbst 2025 sind GenAI und Vibe Computing, Secure Software Development Lifecycle (SSDL), KI in der Softwareentwicklung, DevSecOps...

022

Active Group GmbH @active-group.de · 18/09/2025

Plätze in iSAQB-Schulungen im Advanced Level frei! - 6.10.-9.10.: Funktionale Softwarearchitektur" (Modul FUNAR) www.active-group.de/schulung/FUNAR - 3.11.-5.11.: Domänenspezifische Sprachen (Modul DSL) www.active-group.de/schulung/dsl Für weitere Informationen stehen wir gern zur Verfügung.

000

Active Group GmbH @active-group.de · 26/08/2025

Morgen, am Mittwoch dem 27. August, findet die 19. Tü.λ - Tübinger Functional Programming Night statt, Thema: Recursion Schemes: Ana, Cata, Para, What? Vielleicht sieht man sich ja: www.meetup.com/tu-lambda/ev...

021

Active Group GmbH @active-group.de · 18/08/2025

AGler Markus Schlegel und @sperbsen.bsky.social halten am 13. November 2025 auf dem QS-Tag in Frankfurt ihren Vortrag "Testen ist heute, morgen sind Formale Methoden": www.qs-tag.de/abstracts/te...

qs-tag.de

Abstracts

021

Active Group GmbH @active-group.de · 07/08/2025

Am 6. November 2025 ist AG-Kollege Marcus Crestani mit "Bidirektionale Datentransformationen – Schluss mit doppelter Logik!" bei der w-jax in München: jax.de/core-java-jv... #ag-unterwegs

jax.de

Bidirectional Data Transformations: Write Once, Transform Both Ways - JAX

000

Active Group GmbH @active-group.de · 01/08/2025

AG-Chef @sperbsen.bsky.social hält am kommenden Dienstag einen Vortrag am Laboratory for Foundations of Computer Science der Universität Edinburgh: informatics.ed.ac.uk/lfcs/lfcs-se...

informatics.ed.ac.uk

LFCS Seminar Tuesday 5th August: Michael Sperber | LFCS | School of Informatics

Michael Sperber, Active Group GmbH https://www.deinprogramm.de/sperber/

022

Active Group GmbH @active-group.de · 29/07/2025

Bei MuniHac 2025 ist @sperbsen.bsky.social am 14.09.2025 mit seiner Keynote "Six Years of FUNAR – Teaching Software Architecture and Haskell to the Uninitiated" vertreten. Die Veranstaltung an sich läuft 12.-14.09., mehr Details gibt's hier: munihac.de/2025.html

022

Active Group GmbH @active-group.de · 15/07/2025

Gestern war ein großer Tag für uns: Wir waren beim Notar, um die Gesellschaftsanteile der Active Group vollständig in Mitarbeiter:innen-Hand zu überführen. www.active-group.de/news/2025-07...

Foto von Mitarbeiter:innen der Active Group auf einer Brücke in Tübingen, unterwegs zum Notar.

041

Active Group GmbH @active-group.de · 09/07/2025

Wir freuen uns, unsere erste komplett selbst geplante und durchgeführte iSAQB®-Foundation-Schulung ankündigen zu können! Sie findet vom 1. bis 4. Dezember 2025 im schönen Tübingen statt und wird mit der Prüfung abgeschlossen. Weitere Informationen: www.active-group.de/schulung/Fou...

active-group.de

Active Group

021

Active Group GmbH @active-group.de · 26/06/2025

Am kommenden Dienstag (01. Juli 2025) um 16:00 ist Kollege Marcus Crestani mit seinem Vortrag "The Root of All Evil: Shared Mutable State and How to Get Rid of It" bei der Developer Week in Nürnberg: www.developer-week.de/speaker/#/sp...

000

Active Group GmbH @active-group.de · 20/06/2025

heise-devsec.de

heise devSec – die Konferenz für sichere Software- und Webentwicklung

022