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

Thank you! Very excited to become part of the Zukunftskolleg!

Portrait of Emanuele D'Osualdo

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