Announcement_12

I will give a lecture at the upcoming IPA Fall Days, a dutch PhD school that I help organize, in November! The lecture will be on formal methods and AI.