Announcement_20

Vesal Vojdani and I will organize this year’s edition of NSAD in Oakland, California 🇺🇸. Please consider sending your work on abstract domains! ✍️