We have an exciting line-up of speakers [0] and talks [1] for the seL4 summit 2024 [2]. There will be a wide variety of presentations, including technical discussions, research and development and experience reports of seL4 in the field. Register here [3] for the seL4 summit 2024. We look forward to seeing you in Sydney, in October! [0] https://sel4.systems/Foundation/Summit/2024/program [1] https://sel4.systems/Foundation/Summit/2024/abstracts2024 [2] https://sel4.systems/Foundation/Summit/2024/ [3] https://events.linuxfoundation.org/sel4-summit/register/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>