Announce

Download

announce@sel4.systems

October 2024

1 participants
2 discussions

seL4 summit 2024 Anniversary Panel Session
by Announcements about seL4 -- low volume list 10 Oct '24

10 Oct '24

seL4 summit 2024 Anniversary Panel Session seL4 celebrated three key anniversaries in 2024 [0]. To celebrate these key anniversaries, a special panel will gather at the seL4 Summit 2024 [1] to reflect on the journey over the past 20 years and discuss the future ahead. The panel will cover the journey from the early days (2004-2009) to the developments over the years (2009-present), and then look to the future, with key players outlining their visions for seL4 in the next 20 years. The panel will be a mix of in-person anecdotes, videos, and quotes, including participants from Collins Aerospace, DARPA, Dornerworks, Kry10, Proofcraft, The University of Melbourne and UNSW. Nick Spinale The panel will be moderated by Nick Spinale from Colias Group, LLC. [0] https://sel4.systems/news/2024#sel4-day [1] https://sel4.systems/Foundation/Summit/2024/ 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

Welcome NIO, Silver sponsor of the seL4 Summit 2024
by Announcements about seL4 -- low volume list 01 Oct '24

01 Oct '24

Welcome NIO, Silver sponsor of the seL4 Summit 2024 The seL4 Foundation thanks NIO [0] for becoming a Silver sponsor of the seL4 Summit 2024 [1]. NIO is a global EV company funded in 2015 and that went public in the U.S. in 2018. NIO emphasizes user experience and technology innovation. NIO is a strong supporter of seL4 and a premium member of the seL4 Foundation. It has been investing heavily on building a full-fledge software platform for modern vehicles based on seL4. [0] https://www.nio.com/ [1] https://sel4.systems/Foundation/Summit/2024/ 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