July 2026 - 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