There'll be two great keynotes at the #seL4Summit: Sam Leffler from #Google will tale about CantripOS and Gage from UK's #NCSC will discuss assurance activities on seL4. Hope to see you there!

We're happy to announce that the dates for the #seL4Summit are confirmed: 19–21 September in Minneapolis.
Remember to submit your talk proposal by 24 April: https://lnkd.in/g4ZwKeJi

The submission deadline for the #seL4Summit has been extended by two weeks – to ensure we have definite dates for the Summit before submissions close. You have now until 24 April to propose a talk/session.

Proposals only require an abstract of 1 page max (plus presenter details), see https://lnkd.in/g4kqDJin

The Call for Presentations for the #seL4Summit is out: https://sel4.systems/Foundation/Summit/2023/cfp
Submit your abstract by 10 April!

Meet the Program Committee of the #seL4Summit 2023: https://sel4.systems/Foundation/Summit/2023/#summit-news

Stay tuned for the Call for Presentations that will be out soon

Excited to join other innovators from the world of high assurance at the seL4 Summit 2023 in Minneapolis, Minnesota this fall! 🎉

Our Embedded Software Engineer, Robbie V., is a part of the program committee for this annual international summit -- the perfect opportunity to learn about the world's most highly assured OS kernel, seL4, and connect with the seL4 community. 💡

From sharing exciting developments to learning about the latest progress in seL4 technology, this is an event you won't want to miss! 💥 🚀

https://sel4.systems/Foundation/Summit/2023/

#sel4 #sel4summit #embeddedsoftware #minneapolis

Hello World!
Here is the seL4 Foundation providing updates on what is happening in the seL4 ecosystem.
To find out more about seL4, check out https://sel4.systems.
In particular, you may be interested in watching some of the great talks from the #seL4Summit, held in Munich in October: https://sel4.systems/Foundation/Summit/