Announce

Download

announce@sel4.systems

March 2023

1 participants
2 discussions

seL4 summit: deadline extension to 24th of April
by Announcements about seL4 -- low volume list 31 Mar '23

31 Mar '23

The deadline to submit a presentation to the seL4 summit 2023 is extended by 2 weeks. You now have until the 24th of April 2023 to propose a talk, by uploading an abstract of one page or less to: https://sel4.systems/Foundation/Summit/2023/submit The reason for the extension is that we want to let you know the definite dates for the summit before the deadline :) Current tentative (and very likely) dates are 19-20-21 September 2023, to be confirmed very soon. Looking forward to receiving your proposals. We want to hear about your cool seL4 work! And spread the word! If you want to hear about specific seL4 work, ping people around you or let us know at summit(a)sel4.systems <mailto:summit@sel4.systems> June

1 0

The seL4 Foundation welcomes the Autoware Foundation as a member
by Announcements about seL4 -- low volume list 22 Mar '23

22 Mar '23

The seL4 Foundation welcomes the Autoware Foundation [0] as a member [1]. 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. [0] https://www.autoware.org/ [1] https://sel4.systems/Foundation/Membership/ --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0