One week to go to submit a talk [0] for the seL4 Summit 2026 [1]!
If you’d like to submit a talk, please upload an abstract of one page or less to the submission portal [2].
**Abstracts are due on 20 April 2026.**
**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 seL4 Summit 2026 will be held 1 - 3 September 2026 at the Hyatt Regency Vancouver, Vancouver, Canada. The summit will be an in-person event.
We’re looking forward to many exciting proposals!
[0] https://sel4.systems/Summit/2026/cfp
[1] https://sel4.systems/Summit/2026/
[2] https://form.jotform.com/260147181364858
Birgit Brecknell
seL4 Foundation Project Coordinator
Sydney, Australia
Mon 9-5
Wed 2-5
Fri 9-5
birgit(a)sel4.systems <mailto:birgit@sel4.systems>
bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>
Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Tue 14 Apr, 22:00 UTC
For your local date and time please see https://sel4.systems/stay-informed.html#calendar
Zoom link: https://unsw.zoom.us/j/82640784431
Birgit Brecknell
seL4 Foundation Project Coordinator
Sydney, Australia
Mon 9-5
Wed 2-5
Fri 9-5
birgit(a)sel4.systems <mailto:birgit@sel4.systems>
bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>
