The seL4 Foundation thanks Proofcraft [0] for becoming a Bronze sponsor of the seL4 Summit 2024 [1]. Founded by the seL4 verification leaders, Proofcraft [0] offers commercial support, verification projects, training and consulting on formal verification in general, and involving seL4 specifically. By applying mathematical machine-checked software verification, Proofcraft increases critical software systems' reliability, safety and security, for a verified future. The seL4 Summit 2024 [1] will take place in Sydney, the hometown of Proofcraft [0]. See [2] if you are interested in sponsoring the seL4 summit 2024. [0] https://proofcraft.systems/ [1] https://sel4.systems/Foundation/Summit/2024/ [2] https://events.linuxfoundation.org/sel4-summit/sponsor/ 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