Call For Presentations [0] for the seL4 Summit 2023 [1]

- Share your seL4 work - Share your seL4 experience - Share your seL4 thoughts

Check the full Call For Presentations [0]. To propose a talk, upload an abstract of one page or less by 10 April 2023 to the submission portal [2].

[0] https://sel4.systems/Foundation/Summit/2023/cfp [1] https://sel4.systems/Foundation/Summit/ [2] 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