We are pleased to announce that the seL4 Summit 2025 [0] will be held in **Prague, Czech Republic, 3 - 5 September 2025.** **Meet the Program Committee** [1] 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! [0] https://sel4.systems/Foundation/Summit/2025/ [1] https://sel4.systems/Foundation/Summit/2025/#summit-pc Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>