Announcement_1

Joined the Lipari Summer School on Abstract Interpretation in Lipari!