Active Group GmbH

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

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

LFCS Seminar Tuesday 5th August: Michael Sperber | LFCS | School of Informatics Michael Sperber, Active Group GmbH https://www.deinprogramm.de/sperber/

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

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

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

Do Programming Languages Fulfill Requirements? Should They? (PLSS 2025 - – Programming Language Standardization and Specification) - ECOOP 2025 Workshop on Programming Language Standardization and Specification The evolution of widely adopted programming languages is critical for ensuring their sustainability, interoperability, and adaptabili...

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

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

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

Java 21: Immer Ärger mit dem Stack Java 21: Virtual Threads und ihre Notwendigkeit. Erfahre mehr über Continuations und ihre Implementierung in der JVM.

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

Decoupled by Default – Funktionale Softwarearchitektur - JAX

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

Deckblatt des JavaMagazin 3.2025. Titelthema: "Scala. Nicht nur eine Oper"

Inhaltsverzeichnis des JavaMagazin 3.2025: Titelthema Besser funktional. Mächtigere Modelle, weniger Kopplung, aussagekraftige Typen (Christina Zeller und Dr. Michael Sperber) Scala – woher, wohin, warum? Getypte funktionale Programmierung auf der Java-Plattform (Dr. Michael Sperber) Von null auf Scala. Einführung in die funktionale Programmierung mit Scala (Helmut Dobretzberger) Kombiniere ... das Modell passt. Warum Kombinatormodelle die Domäne revolutionieren können (Kaan Sahin und Marco Schneider) Don't Write Tests: Write Properties! Property-based Testing in Scala (Bianca Lutz und Raoul Schlotterbeck) Decoupled by Default. Funktionale Programmierung in der Softwarearchitektur (Markus Schlegel und Marcus Crestani)

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

Hätte, hätte, Fahrradkette - Java gestern, heute und morgen - JUGS Java ist inzwischen 30 Jahre alt, und hat seit der Geburt viele Features dazubekommen. Die meisten davon wurden nicht vom JDK-Team erfunden, sondern aus

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

Korrektheit durch formale Methoden - Richard Seidl Formale Methoden bieten dir mathematische Ansätze zur Sicherstellung der Korrektheit. Sie helfen, Fehler in sicherheitskritischen Systemen zu vermeiden.

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

14. Tü.λ - Really Functional Data Structures , Wed, Nov 6, 2024, 6:45 PM | Meetup Hi 👋 The next meetup will take place on the 06.11.24 at the itdesign office, Friedrichstraße 12. **18.45** Doors open & Welcome **Really Functional Data Structures** (M

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

Photo of Markus Schlegel giving his talk

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