- Announce - lists.sel4.systems

Next summit will be in Vancouver! Meet its co-chairs
by Announcements about seL4 -- low volume list 07 Nov '25

07 Nov '25

Next summit will be in Vancouver! Meet its co-chairs We are thrilled to announce our co-chairs, Lucy Fletcher and Robbie VanVossen, for the seL4 summit 2026, which will be held in Vancouver, late August - early September (dates TBC). Lucy Fletcher Software Engineer, Apple [0] Lucy Fletcher is a software engineer at Apple based in Sydney, Australia, working on L4 microkernels and the surrounding ecosystems. Before joining Apple, she studied Computer Science at UNSW and worked with the Trustworthy Systems group, where she focused on the design and development of the seL4 device driver framework. Lucy is passionate about giving back to the seL4 community and supporting its continued growth. Robbie VanVossen seL4 Technical Lead, DornerWorks [1] Robbie VanVossen is an employee of DornerWorks, has 12 years of experience in embedded hypervisors, and 10 years of experience with the seL4 microkernel. His work and leadership led to the development of aarch64 virtualization support across the seL4 ecosystem, both in the microkernel and the user-space libraries. He has also developed multiple projects using the Rust language, including embedded implementations of device drivers and applications. He has strong interests in embedded security, virtualization, seL4, and Rust. We look forward to welcoming the community at the seL4 summit 2026! [0] https://www.apple.com/ [1] https://www.dornerworks.com/ 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: location survey
by Announcements about seL4 -- low volume list 20 Oct '25

20 Oct '25

After wrapping up a successful seL4 summit 2025 [0], we are now preparing for the seL4 summit 2026! The summit be in Canada, around Sep 2026. We have started investigating options for cities, and would like your feedback. We would greatly appreciate it if you could fill in this very short survey to tell us your opinions: https://form.jotform.com/252117628736865 *Please do so by 26 Oct 2025.* Feel free to forward to anyone you believe may want to attend the summit next year. [0] https://sel4.systems/Summit/2025/ 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 1

The videos and slides of the seL4 Summit 2025 are available online
by Announcements about seL4 -- low volume list 17 Sep '25

17 Sep '25

Videos of the seL4 Summit 2025 [0] are now available on the seL4 YouTube channel [1]! Links and slides can be found on the summit Program [2] and Abstracts [3] pages. Thanks to all the speakers for making the seL4 Summit 2025 a great success [4]! [0] https://sel4.systems/Summit/2025/ [1] https://www.youtube.com/@seL4 [2] https://sel4.systems/Summit/2025/program.html [3] https://sel4.systems/Summit/2025/abstracts2025.html [4] https://sel4.systems/Summit/2025/#gallery 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

Check out the seL4 summit 2025 program and abstracts
by Announcements about seL4 -- low volume list 08 Aug '25

08 Aug '25

Check out the seL4 summit 2025 program and abstracts We have an exciting line-up of speakers [0] and talks [1] for the seL4 summit 2025 [2]. There will be a wide variety of presentations, including technical discussions, research and development, and experience reports of seL4 in the field. Register here [3] for the seL4 summit 2025. We look forward to seeing you in Prague, in September! [0] https://sel4.systems/Summit/2025/program.html [1] https://sel4.systems/Summit/2025/abstracts2025.html [2] https://sel4.systems/Summit/2025 [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

Thank you Riverside Research, sponsor of the seL4 Summit 2025 reception
by Announcements about seL4 -- low volume list 06 Aug '25

06 Aug '25

The seL4 Foundation thanks Riverside Research [0] for sponsoring the seL4 Summit 2025 reception [1]. Riverside Research recently acquired [2] Cog Systems, a Founding Member [3] of the seL4 Foundation [4]. 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. [0] https://www.riversideresearch.org/ [1] https://sel4.github.io/website_pr_hosting/PR_499/Summit/2025/ [2] https://www.riversideresearch.org/insights/riverside-research-acquires-cog-… [3] https://sel4.systems/Foundation/Membership/ [4] https://sel4.systems/Foundation/ 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

The Trusted Computing Center of Excellence™ joins the seL4 Foundation
by Announcements about seL4 -- low volume list 04 Aug '25

04 Aug '25

The seL4 Foundation is pleased to welcome the Trusted Computing Center of Excellence (TCCoE) [0] as Associate Member [1]. The Trusted Computing Center of Excellence™ (TCCoE) not-for-profit organization’s purpose is to lower barriers to adoption and facilitate the principled development and deployment of software and systems for which there is strong evidence of trustworthiness, including use of formal methods. Needs of the U.S. and allied defense, intelligence and security communities are our priorities. A major thrust is seL4®. While our colleagues at the seL4 Foundation focus on the code and formal proofs of the open source seL4® microkernel and closely related artifacts, the TCCoE focuses on curated software distributions (kernel, libraries, drivers, configurations, etc.) as bases of stable supported platforms on which to build trustworthy systems. [0] https://trustedcomputingcoe.org/ [1] https://sel4.systems/Foundation/Membership/ 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 01 Aug '25

01 Aug '25

Panellists for seL4 Summit announced We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2025 [0], in a session Building a business case for using a verified kernel [1]: Collins Aerospace, DornerWorks, Kry10, NIO, and MEP. The panel will be moderated by Juliana Furgala from MIT Lincoln Laboratory. [0] https://sel4.systems/Summit/2025/ [1] https://sel4.systems/Summit/2025/abstracts2025.html#a-panel 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 2025 sponsorship opportunities closing soon (8 Aug)
by Announcements about seL4 -- low volume list 30 Jul '25

30 Jul '25

The seL4 Summit [0] 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]. Email us at summit(a)sel4.systems to reserve your sponsorship, ask questions or talk about different options. [0] https://sel4.systems/Summit/2025/ [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 <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Happy seL4 day!
by Announcements about seL4 -- low volume list 29 Jul '25

29 Jul '25

Happy seL4 day! On July 29, 2009, the last "sorry" of the seL4 functional correctness proof was eliminated. A "sorry" is an assumed theorem lacking a complete proof. "0 sorries" meant there was nothing left to prove: the project was finished. We now celebrate this day every year to mark the seL4 day, when the world's first formally verified kernel with a machine-checked code-level proof came into existence. In July 2014, on the 29th to make the "seL4 day" a double-celebratory day, the seL4 code and proofs became open source, paving the way to the widespread use [0] it enjoys today. A big thank-you to all for your continued support! Learn more about the history of seL4 [1]. [0] https://sel4.systems/use.html [1] https://sel4.systems/About/history.html 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 2025 early-bird registration ends in 1 week
by Announcements about seL4 -- low volume list 25 Jul '25

25 Jul '25

A friendly reminder that the early bird cut-off date for the seL4 summit 2025 [0] is 3 August 2025. The summit will be held in Prague, Czech Republic, 3 - 5 September 2025. The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Reception Register here [1] A number of informal social activities [2] are also being organised. Check out the list and contact the organiser to register your interest. [0] https://sel4.systems/Summit/2025/ [1] https://events.linuxfoundation.org/sel4-summit/register/ [2] https://sel4.systems/Summit/2025/program.html#social 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