The seL4 Foundation thanks NIO for sponsoring both the reception and dinner for the seL4 Summit 2023. NIO is also a gold sponsor of the summit.
Email us at summit@sel4.systems if you are interested in sponsoring the seL4 summit. More on sponsorship here.