Created June 9, 2026 · Updated June 9, 2026
I will be attending the Formal Methods Update Meeting 2026 at Krea University from July 2-3, 2026.