One week to go to submit a talk for seL4 summit 2024
15 Apr
2024
15 Apr
'24
5:42 p.m.
One week to go to submit a talk [0] for seL4 summit 2024 [1]! If you’d like to submit a talk, please upload an abstract of one page or less to the submission portal [2]. The seL4 Summit 2024 will be held 15-17 October 2024 at the Holiday Inn Potts Point, Sydney, Australia. The summit 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/2024/cfp [1] https://sel4.systems/Foundation/Summit/2024/ [2] https://sel4.systems/Foundation/Summit/2024/submit Birgit Brecknell seL4 Foundation Project Coordinator birgit@sel4.systems mailto:birgit@sel4.systems bbrcknl@gmail.com mailto:bbrcknl@gmail.com
248
Age (days ago)
248
Last active (days ago)
0 comments
1 participants
participants (1)
-
Birgit Brecknell