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

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

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 ↓

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.

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

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

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

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

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

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

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

Morgen, am 4. Juli, ist @sperbsen.bsky.social mit seinem Vortrag "Do Programming Languages Fulfill Requirements? Should They?" beim PLSS Workshop on Programming Language Standardization and Specification 2025 in Bergen: 2025.ecoop.org/details/plss...

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

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 ↓

Am 10. Juli 2025 findet das Java Forum Stuttgart statt. Active-Group-Softwarearchitekt Markus Schlegel ist mit dem Vortrag "Decoupled by Default" als Speaker dabei. AG-C*O @sperbsen.bsky.social hält den Vortrag "Java gestern, heute und morgen" -- gemeinsam mit Falk Sippach.

Vom 30.6.-2.7.2025 hält @sperbsen.bsky.social in Hamburg eine #iSAQB-akkreditierte Schulung zum Thema "Domänenspezifische Sprachen" (www.active-group.de/schulung/DSL/) Durchgeführt wird diese zusammen mit unseren Kollegen bei oose: www.oose.de/seminar/doma... Noch sind Plätze frei!

Auf unserem Blog ist jetzt die Retrospektive für die diesjährige @bobkonf.bsky.social nachzulesen: funktionale-programmierung.de/2025/05/23/b...

In der aktuellen Ausgabe von JavaSpektrum ist wieder ein Artikel von unserem C*O @sperbsen.bsky.social zu lesen: "Java 21: Immer Ärger mit dem Stack" beschäftigt sich mit den in Java 21 hinzugekommenen Virtual Threads. Reinlesen lohnt sich! www.sigs.de/artikel/java...

Kollege Markus Schlegel hält gleich bei der JAX einen Vortrag zum Thema "Decoupled By Default – funktionale Softwarearchitektur". Vorbeischauen lohnt sich! jax.de/software-arc...

Active-Group-C*O @sperbsen.bsky.social und Kollege Markus Schlegel sprechen morgen bei der MedConf in München zum Thema "Kugelsichere Safety und Security mit formalen Methoden": www.medconf.de/1-konferenzt...

Unser C*O @sperbsen.bsky.social und @kosmikus.bsky.social haben gemeinsam die neuste Folge des Podcasts der Haskell Foundation (Haskell Interlude) moderiert: ein Gespräch mit Farhad Mehta, Professor für Informatik (OST Rapperswil) & @zurihac.bsky.social-Organisator. haskell.foundation/podcast/63/

fqgrep release 1.1.0 now speeds up searching FASTQ files! Thank-you to both Markus Schlegel from @activegroupgmbh.bsky.social for updating seq_io and Nicholas D. Crosbie of grepq for some competition and inspiration. See more: github.com/fulcrumgenom...

Kollege David Frese hat vor einer Woche einen neuen Artikel in unserem Firmenblog veröffentlicht: "Spring-Boot mit Scala" nimmt sich der Frage an, ob und inwieweit man funktional in Scala programmieren und trotzdem Spring-Boot einsetzen kann. funktionale-programmierung.de/2025/02/06/s...

Der Themenschwerpunkt Scala der JavaMagazin-Ausgabe 3.2025 wurde von Active-Group-Kolleginnen und -Kollegen gestaltet -- reinblättern lohnt sich! Eine Vorschau finden Sie hier: entwickler.de/magazine-ebo... Die Druckausgabe ist im Zeitschriftenhandel erhältlich.

Vom 13.–16. Januar 2025 findet in Oxford (UK) das 26. Internationale Symposium zu Trends in der Funktionalen Programmierung statt. Active-Group-Chef @sperbsen.bsky.social hält einen der drei Keynote-Vorträge: "Things We Never Told Anyone About Functional Programming". Mehr Infos: trendsfp.github.io

Morgen, am 5. Dezember 2024, findet eine Veranstaltung der Java-User-Gruppe Stuttgart statt und unser C*O @sperbsen.bsky.social ist dabei: www.jugs.org/veranstaltun...

@sperbsen.bsky.social und Stefan Wehr haben gemeinsam einen Artikel zur Datenmodellierung mit Summen und Produkten verfasst, der erklärt, wie wichtig diese Bausteine in der Softwarearchitektur sind: funktionale-programmierung.de/2024/11/25/s...

Die Active Group ist Hauptsponsorin des Festivals für digitale Livekunst Map&Fold, das am 23. und 24. November in Tübingen stattfindet. Mehr Informationen und Tickets gibt's unter mapandfold.com

Kollegin Bianca Lutz hat gemeinsam mit @lars.mastodon.hupel.info.ap.brid.gy in neusten Folge von @richardseidl.bsky.socials Podcast Software Testing über formale Methoden für mathematisch rigorose Beweise für die Korrektheit von Software gesprochen. Reinhören! www.richard-seidl.com/de/blog/form...

Am kommenden Mittwoch, 6.11. ab 18:45, findet wieder ein Tü.λ-Treffen statt, diesmal mit AG-Kollegen Markus Schlegel und seinem Vortrag "Decoupled by Default – Funktionale Programmierung in der Softwarearchitektur". Interessiert? Mehr Infos hier: www.meetup.com/tu-lambda/ev...

Die Eckdaten zu unserer Hauskonferenz, der BOB, stehen für nächstes Jahr: am 14. März sehen wir uns in Berlin! Diesmal mit Keynote von Annette Bieniusa. Der CfC ist eröffnet und läuft bis zum 15. November 2025, und der Ticketverkauf hat begonnen. Mehr Informationen finden sich unter bobkonf.de

Neuer Artikel in unserem Firmenblog: Kollege Markus Schlegel hat für uns eine Quellensammlung zum Agda-Lernen zusammengestellt. funktionale-programmierung.de/2024/09/02/l...

. @activegroupgmbh.bsky.social's Markus Schlegel reports on bidirectional data transformations and their use in industrial practice.

Unsere Entwickler:innenkonferenz BOB (bobkonf.de) in Berlin war ja schon im März Endlich sind dazu auch alle Videos online und passend dazu auch die Retrospektive im Blog "Funktionale Programmierung" (funktionale-programmierung.de/2024/07/29/b...). Viel Freude beim Stöbern und Anschauen!

In unserem Blog "Funktionale Programmierung" ist gerade der dritte Teil unserer Reihe über Denotational Design erschienen: Markus Schlegel schreibt darüber, wie eine Denotation in Agda formuliert und ihre Eigenschaften formal beweist. funktionale-programmierung.de/2024/07/22/d...

Beim dritten Digital Freedom Day am 06. Juli 2024 ist unser Chef @sperbsen.bsky.social mit gleich zwei Vorträgen vertreten: "Wie geht inklusive Ausbildung im Hacken?" und "Programmieren übermorgen - Macht die KI das alles? Wenn ja, was nicht?" Weitere Infos hier: cfp.cttue.de/tdf3/schedule/

Am 22.06.2024 ist wieder Tübix (Tübinger Linuxtag), und unser Chef @sperbsen.bsky.social ist mit seinem Vortrag "Besser Programmieren mit Mathematik" dabei: www.tuebix.org/2024/program...

Bei unseren Schulungen zu domänenspezifischen Sprachen (domain-specific languages, DSLs) im Juli sind noch Plätze frei! Termine und Anmeldemöglichkeiten unter www.active-group.de/schulung/dsl...

Morgen hält Active-Group-C*O @sperbsen.bsky.social beim Karlsruher Entwicklertag von 13:30–14:15 seinen Vortrag "Besser Programmieren mit Mathematik". entwicklertag.de/programm/Bes...

Active-Group-Kollege Marcus Crestani ist heute mit gleich zwei Vorträgen bei den Lambda Days: nach seinem Lightning-Talk "5-Minute-Panakaia" heute morgen ist er gleich um 14:20 mit seinem eigentlichen Vortrag, "Bidirectional Data Transformations with Functional Optics", dran.

Active-Group-C*O @sperbsen.bsky.social war zusammen mit Alexander Lorz im Interview bei @richardseidl.bsky.social -- Thema: Qualität aus Architektursicht. www.richard-seidl.com/qualitaet-au...

Neuer Artikel in unserem Firmenblog funktionale-programmierung.de: Kollege Markus Schlegel hat den zweiten Teil seiner Reihe zu Denotational Design veröffentlicht. Diesmal dreht sich alles um Zeitreihen. funktionale-programmierung.de/2024/05/06/d...

Morgen hält unsere Kollegin Bianca Lutz zusammen mit Lars Hupel bei den Software Quality Days Wien den Vortrag "Kugelsichere Architektur mit formalen Methoden": www.software-quality-days.com/beitrag?tx_c...

Bei unserer online-Schulung zur funktionalen Softwarearchitektur (ISAQB FUNAR) vom 13.–16. Mai sind noch Plätze frei! Weitere Informationen, auch zur Anmeldung: www.active-group.de/schulung/fun...

Nächste Woche Donnerstag - am 18. April - veranstalten wir einen großen Online-Tutorial-Tag zur funktionalen Programmierung, mit Workshops zu diversen FP-Sprachen, DDD, Isabelle, funktionalen UIs uvm. und einem AMA zum Schluss - für symbolische 10€. funktionale-programmierung.de/2024/04/09/t...

Nächste Woche Donnerstag - am 18. April - veranstalten wir einen großen Online-Tutorial-Tag zur funktionalen Programmierung, mit Workshops zu diversen FP-Sprachen, DDD, Isabelle, funktionalen UIs uvm. und einem AMA zum Schluss - für symbolische 10€. funktionale-programmierung.de/2024/04/09/t...

Bei entwickler.de ist ein neuer Artikel zu Machine Learning und Kategorietheorie von Raoul Schlotterbeck und @sperbsen erschienen: www.active-group.de/news/2024/03...

Am kommenden Montag, 11. März, ist unser C*O @sperbsen.bsky.social mit seinem Workshop "Zukunftssichere Modellierung mit Funktionalem Design" beim Software Architecture Summit München. www.active-group.de/news/2024/03...