The call for the Marktoberdorf summer school 2024 has been published: see here. 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
--