Announce April 2023

announce@sel4.systems

1 participants
2 discussions

One week to go to submit a talk for seL4 summit 2023!
by Announcements about seL4 -- low volume list 17 Apr '23

17 Apr '23

One week to go to submit a talk for seL4 summit 2023 [0]! If you'd like to submit a talk, please upload an abstract of one page or less to the submission portal [1]. 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! [0] https://sel4.systems/Foundation/Summit/2023/cfp [1] https://sel4.systems/Foundation/Summit/2023/submit --- 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

Dates and venue confirmed for the seL4 summit 2023
by Announcements about seL4 -- low volume list 14 Apr '23

14 Apr '23

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(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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

Announce April 2023