One week to go to submit a talk for seL4 summit 2023 !
If you'd like to submit a talk, please upload an abstract of one page or less to the submission portal .
The seL4 Summit 2023 will be held 19 - 21 September 2023 at the Elliot Park Hotel, Minneapolis, USA. The summit will be hosted by the Linux Foundation, and will be an in-person event. Registration details to follow soon.
We're looking forward to many exciting proposals!
Dr. Birgit Brecknell
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:email@example.com>
seL4 Foundation, birgit(a)sel4.systems<mailto:firstname.lastname@example.org>
0433 880 571