Announce

Download

announce@sel4.systems

July 2026

1 participants
1 discussions

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