- Announce - lists.sel4.systems

One week left to get the early-bird registration at the seL4 summit!
by Announcements about seL4 -- low volume list 24 Jul '26

24 Jul '26

1 week left to get the early-bird registration at the seL4 summit! A friendly reminder that the early bird cut-off date is 31 July 2026. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Dinner Registrations: https://events.linuxfoundation.org/sel4-summit/register/ Further information: https://sel4.systems/Summit/2026/ 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>

1 0

Panellists for seL4 Summit announced
by Announcements about seL4 -- low volume list 22 Jul '26

22 Jul '26

Panellists for seL4 Summit announced We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2026 [0], in a session on Certification, Compliance and Policies: enabler or barrier to innovation? [1]: Darren Cofer, Peter Davies, Jonathan Marshall, Anjana Rajan, and James Sharp. The panel will be moderated by Martin Dehnel-Wild. [0] https://sel4.systems/Summit/2026/ [1] https://sel4.systems/Summit/2026/abstracts2026.html#a-panel -- Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems bbrcknl(a)gmail.com

1 0

Two weeks left to get the early-bird registration at the seL4 summit!
by Announcements about seL4 -- low volume list 17 Jul '26

17 Jul '26

2 weeks left to get the early-bird registration at the seL4 summit! A friendly reminder that the early bird cut-off date is 31 July 2026. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Dinner Registrations: https://events.linuxfoundation.org/sel4-summit/register/ Further information: https://sel4.systems/Summit/2026/ -- Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems bbrcknl(a)gmail.com

1 0

seL4 summit 2026 sponsorship opportunities closing soon
by Announcements about seL4 -- low volume list 15 Jul '26

15 Jul '26

The seL4 Summit is the annual international summit on the seL4 microkernel, the world’s most highly assured OS kernel, as well as on all seL4-related technology, tools, infrastructure, products, projects, and people. The seL4 Summit gathers the seL4 community to learn, share, and connect: Learn — about the seL4 technology, its latest progress, use, successes, challenges, and plans Share — exciting seL4 development, research, experience, and application in the real world Connect — with other seL4 developers, users, providers, supporters, and potential partners Your benefit as a sponsor: • Get strong visibility as a major player in the seL4 ecosystem • Showcase your seL4-based products, technology and services to target audiences in the field of seL4 • Support the open-source technology and community • Connect directly with attendees through the expo booth, branding materials, and videos For sponsorship packages and opportunities, visit Sponsor | LF Events [1]. Sponsorship Deadline: July 21, 2026 Email us at summit(a)sel4.systems to reserve your sponsorship, ask questions or talk about different options. [0] https://sel4.systems/Summit/2026/ [1] https://events.linuxfoundation.org/sel4-summit/sponsor/ -- Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems bbrcknl(a)gmail.com

1 0

3 weeks before the early-bird deadline for the seL4 summit
by Announcements about seL4 -- low volume list 10 Jul '26

10 Jul '26

Don’t forget to register to the seL4 summit! Only 3 weeks left to benefit from the early-bird fee: https://events.linuxfoundation.org/sel4-summit/register/#register-now See you in Vancouver :) June

1 0

The seL4 Summit 2026 Program and Abstracts
by Announcements about seL4 -- low volume list 01 Jul '26

01 Jul '26

The program [0] of the seL4 Summit 2026 [1] is now available! The 2026 edition of the seL4 summit features a full first day dedicated to high-level overviews and perspectives, followed by Days 2 and 3 focusing on more technical insights and updates. Have a look at the abstracts [2] from our exciting keynotes and voices-from-nearby presenters, and the great line-up of interesting seL4-related research, development, field reports and technical discussions. The event will offer an ideal opportunity for people new to seL4 and to formally verified systems to increase their understanding of the landscape and ecosystem, and meet with seL4 developers, adopters and enthusiasts. Don't forget to register [3] and see you soon in Vancouver. [0] https://sel4.systems/Summit/2026/program.html [1] https://sel4.systems/Summit/2026/ [2] https://sel4.systems/Summit/2026/abstracts2026.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(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Gapfruit joins the seL4 Foundation
by Announcements about seL4 -- low volume list 01 Jun '26

01 Jun '26

We are pleased to welcome a new member [0] - Gapfruit [1] - to the seL4 Foundation [2]. Gapfruit is a Swiss technology company building trustworthy foundations for the systems society depends on - from industrial controls to energy infrastructure. To achieve this, Gapfruit combines microkernel operating systems with capability-based security and hardware-rooted trust - an approach grounded in standards from the Trusted Computing Group [3]. Together, these technologies enable resilient, verifiable device operations for the critical systems that underpin modern infrastructure. By joining the seL4 Foundation, we aim to advance high-assurance computing in critical infrastructure and collaborate with the global seL4 community to make trustworthy systems the standard - not the exception. Learn more about Gapfruit's work in their contributions to previous seL4 summit panels [4] and talks [5]. [0] https://sel4.systems/Foundation/Membership/ [1] https://www.gapfruit.com/ [2] https://sel4.systems/Foundation/ [3] https://trustedcomputinggroup.org/ [4] https://sel4.systems/Summit/2023/abstracts2023.html#a-panel [5] https://sel4.systems/Summit/2023/abstracts2023.html#a-showcase-microkernel 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>

1 0

Thank you Proofcraft, silver sponsor of the seL4 Summit 2026
by Announcements about seL4 -- low volume list 17 Apr '26

17 Apr '26

The seL4 Foundation thanks Proofcraft [0], silver sponsor of the seL4 Summit 2026 [1]. Founded by the seL4 verification leaders, Proofcraft [0] offers commercial support and projects in formal verification in general, and involving seL4 specifically. By applying mathematical machine-checked software verification, Proofcraft increases critical software systems' reliability, safety and security, for a verified future. See here [2] if you are interested in sponsoring the seL4 Summit 2026 [1]. [0] https://proofcraft.systems/ [1] https://sel4.systems/Summit/2026/ [2] https://events.linuxfoundation.org/sel4-summit/sponsor/ 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>

1 0

Thank you Riverside Research, sponsor of the seL4 Summit 2026 reception
by Announcements about seL4 -- low volume list 15 Apr '26

15 Apr '26

The seL4 Foundation thanks Riverside Research [0] for sponsoring the seL4 Summit 2026 [1] reception. Riverside Research is a national security nonprofit serving the DOD and Intelligence Community. Through the company's Open Innovation Center (OIC), it invests in multidisciplinary research and development and encourages collaboration. Riverside Research's areas of expertise include Object and Activity Detection; Accelerated AI/ML; Zero Trust; Open Architectures; Computational Electromagnetics; Plasma Physics; Precision Timing; Terahertz Imaging; Commercial Intelligence, Surveillance, and Reconnaissance (ISR); Collection Planning; and more. Learn more at www.riversideresearch.org <http://www.riversideresearch.org/> [0]. See here [2] if you are interested in sponsoring the seL4 Summit 2026 [1]. [0] https://www.riversideresearch.org/ [1] https://sel4.systems/Summit/2026/ [2] https://events.linuxfoundation.org/sel4-summit/sponsor/ 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>

1 0

seL4 summit 2026: one week to go to submit a talk
by Announcements about seL4 -- low volume list 13 Apr '26

13 Apr '26

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>

1 0