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

iSAQB® - International Software Architecture Qualification Board@isaqb.bsky.social · 3d ago

𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗲𝘁𝗵𝗼𝗱𝘀: 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹 𝗼𝗻 𝗣𝗿𝗲𝘃𝗲𝗻𝘁𝗶𝗻𝗴 𝗖𝗼𝘀𝘁𝗹𝘆 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗗𝗲𝗳𝗲𝗰𝘁𝘀 🧮 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

𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗲𝘁𝗵𝗼𝗱𝘀: 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹 𝗼𝗻 𝗣𝗿𝗲𝘃𝗲𝗻𝘁𝗶𝗻𝗴 𝗖𝗼𝘀𝘁𝗹𝘆 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗗𝗲𝗳𝗲𝗰𝘁𝘀 🧮 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

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.

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

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

BOB Konferenz@bobkonf.de · 4w ago

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

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 :) )

Active Group GmbH@active-group.de · 2mo ago

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

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

Active Group GmbH@active-group.de · last mo.

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

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

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

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

media.ccc.de

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

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

java-forum-stuttgart.de

Active Group GmbH@active-group.de · 3mo ago

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

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

Active Group GmbH@active-group.de · 4mo ago

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

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

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/

ZuriHac 2026

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

zfoh.ch

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.

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

Active Group GmbH@active-group.de · 4mo ago

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.

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

Mike Sperber TDF5

Schedule, talks and talk submissions for TDF5

cfp.cttue.de

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

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.

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

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

conferences.isaqb.org

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.

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/

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

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.

richard-seidl.com

Richard Seidl - Future Optimist - People & Tech Enthusiast@richard-seidl.com · 5mo ago

"x = x + 1" – das funktioniert beim Programmieren. In der Mathematik würdest du durchfallen. Genau diese Lücke macht Software unsicher. Michael Sperber und Markus Schlegel über formale Methoden und warum funktionale Programmierung näher an Beweisen ist. swt.fm/wn96 @activegroupgmbh.bsky.social

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

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

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

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

marc o)))@defmarco.bsky.social · 10mo ago

Der Kollege Schlegel hat ein paar kluge Gedanken zum Thema "Testbarkeit von puren Funktionen" und das Verhältnis von "testbar" und "formalisierbar" aufgeschrieben. Kurz und lesenswert auf unserem @activegroupgmbh.bsky.social Firmenblog funktionale-programmierung.de/2025/10/13/t...

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

BOB Konferenz@bobkonf.de · 10mo ago

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

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

heise-devsec.de

Am 25. November 2025 ist AG-Chef @sperbsen.bsky.social mit seinem Vortrag "Great Software Architecture With Glorious Data Models" beim von @isaqb.bsky.social und @heise.de veranstalteten Software Architecture Gathering in Berlin: conferences.isaqb.org/software-arc...

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.