You can now submit a proposal [0] for the seL4 Summit 2026, to be held in Vancouver September 1-3. **NEW!** The 2026 edition of the seL4 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 be followed by Days 2 and 3 focusing on more technical development, research, reports, and discussions. We are particularly keen to **welcome people who are new to seL4** or still developing their familiarity with the technology. The event will offer an **ideal opportunity to gain a high-level view of the landscape and ecosystem** of seL4 and its associated tools, frameworks and languages, as well as formally verified software in general, and to take stock of the latest updates.The program includes a wide range of seL4-related themes and topics: Themes - visions, 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 Topics - seL4 experience reports - seL4 and assurance - seL4 on-going and planned R&D, mature of early stage - seL4 and hardware Check the full Call For Presentations [0]. To propose a talk, upload an abstract of one page or less by **20 April 2026** to the submission portal [1]. [0] https://sel4.systems/Summit/2026/cfp.html [1] https://form.jotform.com/260147181364858 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>