Announcement_22

I will give lectures on Thread-Modular Abstract Interpretation with Goblint at the METIS Spring School in June 🇲🇦 and on Mixed Flow-Sensitive Abstract Interpretation with Goblint at the Lipari Summer School on Abstract Interpretation in August 🇮🇹.