Call For Presentations for the seL4 Summit 2026
You can now submit a proposal 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. To propose a talk, upload an abstract of one page or less by 20 April 2026 to the submission portal.
