May 2024 - Announce - lists.sel4.systems

Welcome UNSW, Bronze sponsor of the seL4 Summit 2024
by Announcements about seL4 -- low volume list 31 May '24

31 May '24

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(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Welcome Proofcraft, Bronze sponsor of the seL4 Summit 2024
by Announcements about seL4 -- low volume list 24 May '24

24 May '24

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(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Register for the seL4 summit 2024
by Announcements about seL4 -- low volume list 17 May '24

17 May '24

The seL4 summit 2024 [0] will be held in Sydney, Australia, 15-17 October 2024. 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 15 September 2024. Local seL4 Sydney-siders will look into organising some informal activities for Monday 14 October 2024, before the summit kicks off, for anyone who wants to join. Gernot may also organise a bush walk for the weekend before the summit. Stayed tuned for more info! [0] https://sel4.systems/Foundation/Summit/2024 [1] https://events.linuxfoundation.org/sel4-summit/ Birgit Brecknell seL4 Foundation Project Coordinator birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0