outing • conference • publication • presentation • defense CritLab at NFM 2025 2 min read · June 13, 2025 2025 · conference, presentation, publication CritLab at ETAPS 2025 3 min read · May 08, 2025 2025 · conference, presentation < 1 2 >