Hi all, The call for the Marktoberdorf summer school 2024 has been published: see here https://sites.google.com/view/marktoberdorf2024/home?authuser=0. For those not familiar with the event, this is considered the top summer school on verification/automated analysis and related topics. If you think this is relevant for you, get in touch.

Kind regards, Guy