A friendly reminder that the early bird cut-off date for the seL4 summit 2025 [0] is 3 August 2025. The summit will be held in Prague, Czech Republic, 3 - 5 September 2025. 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 Register here [1] A number of informal social activities [2] are also being organised. Check out the list and contact the organiser to register your interest. [0] https://sel4.systems/Summit/2025/ [1] https://events.linuxfoundation.org/sel4-summit/register/ [2] https://sel4.systems/Summit/2025/program.html#social 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>