Announcement_10

Looking forward to participating in the Dagstuhl Seminar Sound Static Program Analysis in Modern Software Engineering this October! 🤓