Volker Stolz🏳️‍🌈

My Italian colleagues Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Gianluca Torta and me will be giving a full-day tutorial on Aggregate Programming at FM’26!

You can already get a glimpse on what we’re up to in our quest for world-domination (though decentralized!) at https://fcpp.github.io.

https://conf.researchr.org/details/fm-2026/fm-2026-tutorials/8/Distributed-Runtime-Verification-in-Proximity-based-Networks-A-Tutorial-on-the-Aggre

#formalmethods #fm2026

Almost might want to skip over to Oslo for the #CS3 conference in two weeks: https://indico.cern.ch/event/1560960/program

Keynotes:
Digital Sovereignty or Digital Dependency: Europe’s Tech Moment of Truth (F. Karlitschek, Nextcloud)

The HPC-Cloud Pipeline: Data Provisioning for Destination Earth and the AI Revolution in Weather Forecasting (T. Quintino, ECMWF)

Clinical research and data in the AI era: Lessons and future directions from the AI-Mind project (Dr. Hatlestad-Hall, Oslo U. Hospital)

#uio #nextcloud

RE: @Kollisjon@mastodon.bergen.social

Norwegian consumer protection council perspective on enshittification, with @pluralistic@mamot.fr, 27. Feb, “Kulturhuset”, so I assume in Oslo ;-) There seems to be an option to register and watch the stream as well!

#forbrukerradet @finnmyrstad@eupolicy.social

In Shonan 2023, with a handful of usual suspects (Shaukat Ali, Domenico Bianculli, Antonio Cicchetti, Robbert Jongeling & Catia Trubiani), we brain-stormed a bit on uncertainty & RV in the context of DevOps. The resulting book chapter/book is now available!

Blog-post: https://selabhvl.github.io/update/2026/03/15/DevOps-CPS-Shonan.html

#DevOps #RuntimeVerification #Shonan

RE: @64er@mastodon.social

Oh, damit habe ich wohl mal einen Satz Icons für ein Spiel gemacht haben. Roland und ich hatten uns irgendwas Wildes mit Handel zu römischen Zeiten im Mittelmeer ausgedacht und brauchten Trireme (2 Zeichen für linke/rechte Hälfte) etc. 🤣

Now these are TOS that I can agree to for genAI!

Shout-out to Gordon Pace and his “technology-assurance sandbox” that would have a field day with this: does your server-log show that I clicked the button? Do you conclude that I agreed to /your/ TOS or the TOS on the screen?

#MacOS #ChatGPT Photo credit: Gerardo Schneider

Vorher/nachher Dreifaltigkeitskirche #Aachen - nett was die “Junge Kirche Aachen” draus gemacht hat, und die “Ruggs” channeln unser aller Wut gegen die Maschine. Ach so, und “Happy Birthday” 🎉