[seL4 Announce] [seL4]: seL4 summit 2023

It is our pleasure to confirm that the seL4 Summit 2023 [0] will be in:

Minneapolis, USA, Sept/Oct 2023 (dates TBC).

The summit will be hosted by the Linux Foundation [1], and will be an in-person event.

We will announce a Call for Presentations in the coming weeks. Stay tuned!

[0] https://sel4.systems/Foundation/Summit/2023/ [1] https://www.linuxfoundation.org/

---

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