Announcement_10

Created on April 21, 2026

2026

I will be giving a keynote talk at the Dutch Formal Methods Day!