We are pleased to announce that the seL4 Summit 2025 will be held in
Prague, Czech Republic, 3 - 5 September 2025.
Meet the Program Committee
Our team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
We will announce a Call for Presentations in the coming weeks. Stay tuned!
