The seL4 summit 2023 [0] will be held in Minneapolis, USA, 19 - 21 September 2023. The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Reception and Dinner Register here [1] The early bird cut-off date is 18 August 2023. [0] http://localhost:8080/Foundation/Summit/2023/ [1] https://events.linuxfoundation.org/sel4-summit/ --- 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