The HYPER 2025 workshop will be co-located with @confcav.bsky.social in Zagreb, Croatia, on July 21, with an incredible invited speaker line-up: @thenzinger.bsky.social, Clara Schneidewind, @emanueledosualdo.com, and Yu Wang! Submit your abstract by May 30 at hyperworkshop25.cispa.io! #cav25

We welcome our new ZENiT Research Fellow @emanueledosualdo.com to the Zukunftskolleg! He has started his fellowship today and is affiliated with the Dept. of Computer and Information Science @uni-konstanz.de. We wish him all the best for his project at the ZuKo! www.emanueledosualdo.com/about/

Very proud to announce that the first Iris paper received the 2025 Most Influential POPL Paper Award this week. This is a testament to the amazing contributions of a wonderful international network of collaborators. www.youtube.com/live/ZKwpY0g...