The seL4 Foundation thanks UNSW Sydney [0] for becoming a Bronze sponsor of the seL4 Summit 2024 [1]. seL4 was created by the Trustworthy Systems (TS) [2] team, which is now part of the UNSW [0], a founding member of the seL4 Foundation. The team has a track record of designing and implementing systems software for performance and reliability, and using rigorous formal methods to prove that they meet their security and reliability goals. Their aims are to: - shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and - make verified software a default choice, especially in safety- and security-critical systems. The team works with government and commercial partners, as well as the broader software engineering community, to drive this change. The seL4 Summit 2024 [1] will take place in Sydney, the hometown of Trustworthy Systems [2] and UNSW [0]. See here [3] if you are interested in sponsoring the seL4 summit 2024. [0] https://www.unsw.edu.au/ [1] https://sel4.systems/Foundation/Summit/2024/ [2] https://trustworthy.systems/ [3] 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