Post #2275815

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