17 February 2026, 13.00–14.00

The cognitive and human factors of formal methods

04 March 2026, 17.30–18.30

From concept to clinic: how algorithms commute