In Chennai from June 25–July 4 for ISLA 2026 and the Formal Methods Update Meeting.