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