Thanks NIO for sponsoring the seL4 Summit 2023 reception and dinner

The seL4 Foundation thanks NIO [0] for sponsoring both the reception and dinner for the seL4 Summit 2023 [1]. NIO is also a gold sponsor [2] of the summit.

Email us at summit@sel4.systems if you are interested in sponsoring the seL4 summit. More on sponsorship here [3].

[0] https://www.nio.com/ [1] https://sel4.systems/Foundation/Summit/2023/ [2] https://sel4.systems/news/2023#sponsor23-nio [3] https://events.linuxfoundation.org/sel4-summit/sponsor/

---

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 2pm-5pm

Fri 9am-5pm