April 2026 - Announce - lists.sel4.systems

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