We are pleased to announce that the seL4 Summit 2026 will be held in Vancouver, Canada, 1 - 3 September (informal social activities on 31 August).
Meet the Program Committee
Our team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
