We have an exciting new format for the seL4 summit 2026 [0]! A full first day dedicated to applications, overviews, and perspectives on seL4-based systems and formally verified software in the real world. Followed by two days of technical talks and discussion on development, research, and experience reports. If you’re new to seL4 or still developing your familiarity with the technology, this is an ideal opportunity to get a high-level view of the landscape and ecosystem. The seL4 summit 2026 will be in Vancouver, Canada, on 1 - 3 September 2026 [0]. Come hear about: - vision, lessons-learned, roadmaps for verified software deployments; - use-cases, deployments, experiences; - walk-throughs and demos of tools, frameworks, systems; - early work, crazy ideas, out-of-the-box thinking; - technical progress, updates, breakthroughs. And join us for one of the informal social activities [1] on Monday 31 August 2026, for a fun gathering before the event starts! If you have any cool work/idea/project/product related to seL4, don’t forget to submit a talk proposal [2]. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Dinner Register here [3] The early bird cut-off date is 31 July 2026. [0] https://sel4.systems/Summit/2026/ [1] https://sel4.systems/Summit/2026/program.html#social [2] https://sel4.systems/Summit/2026/cfp.html [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>