Check out the seL4 summit 2025 program and abstracts We have an exciting line-up of speakers [0] and talks [1] for the seL4 summit 2025 [2]. There will be a wide variety of presentations, including technical discussions, research and development, and experience reports of seL4 in the field. Register here [3] for the seL4 summit 2025. We look forward to seeing you in Prague, in September! [0] https://sel4.systems/Summit/2025/program.html [1] https://sel4.systems/Summit/2025/abstracts2025.html [2] https://sel4.systems/Summit/2025 [3] https://events.linuxfoundation.org/sel4-summit/register/ 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>