**The seL4 Summit 2026 Keynotes and "Voices from Nearby”** **Keynotes** We are pleased to announce that we have two outstanding keynotes for the seL4 Summit 2026 [0]: Anjana Rajan [1], Former Assistant National Cyber Director at The White House, and Martin Dehnel-Wild [2], Technical Director & Principal Security Researcher at Kry10. Abstracts coming soon — stay tuned! **"Voices from Nearby”** This year, the summit will feature a full first day dedicated to applications, overviews, and perspectives on seL4-based systems and formally verified software in the real world. This will include a session on "Voices from Nearby," with industry experts who work in or share their thoughts on areas that are adjacent to the core seL4 areas. Alistair Woodmand [3], Board Member of the Erlang Ecosystem Foundation, will share his insights on the European Cyber Resiliency Act and implications for open source software, and David Hardin [4], Associate Director of Systems Engineering at Collins Aerospace, will give an overview on trends in real-world formal verification. Details to come soon. Register for the seL4 summit 2026 [5], or submit a talk proposal [6]. [0] https://sel4.systems/Summit/2026/ [1] https://www.linkedin.com/in/anjanarajan/ [2] https://www.linkedin.com/in/mpdehnel/ [3] https://www.linkedin.com/in/alistair-woodman-51934433/ [4] https://loonwerks.com/people/david-hardin.html [5] https://events.linuxfoundation.org/sel4-summit/register/ [6] https://sel4.systems/Summit/2026/cfp.html 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>