The seL4 Foundation welcomes the Autoware Foundation as a member.
The Autoware Foundation hosts the Autoware Project, the world’s leading open-source software project for autonomous driving.
As a member of the seL4 Foundation, the Autoware Foundation will work with members of the seL4 Foundation to implement a safe and secure Autonomous Driving software stack based on Autoware, leveraging the formally-verified and mixed-criticality capabilities of seL4.
Call For Presentations for the seL4 Summit 2023
- Share your seL4 work
- Share your seL4 experience
- Share your seL4 thoughts
Check the full Call For Presentations. To propose a talk, upload an abstract of one page or less by 10 April 2023 to the submission portal.
We are thrilled to announce our program committee for the seL4 Summit 2023. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
It is our pleasure to confirm that the seL4 Summit 2023 will be in:
The summit will be hosted by the Linux Foundation, and will be an in-person event.
We will announce a Call for Presentations in the coming weeks. Stay tuned!