Dates and venue confirmed for the seL4 summit 2023!
The seL4 Summit 2023 [0] will be held 19 - 21 September 2023 at the Elliot Park Hotel [1], Minneapolis, USA.
The summit will be hosted by the Linux Foundation [2], and will be an in-person event.
Registration details to follow soon!
Remember that you have until 24 April 2022 to propose a talk [3]. To propose a talk, upload an abstract of one page or less to the submission portal [4].
[0] https://sel4.systems/Foundation/Summit/2023/ [1] https://www.elliotparkhotel.com/ [2] https://www.linuxfoundation.org/ [3] https://sel4.systems/Foundation/Summit/2023/cfp [4] https://sel4.systems/Foundation/Summit/2023/submit
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au
seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm