November 2022 - Announce - lists.sel4.systems

Survey about the seL4 summit 2023's location
by Announcements about seL4 -- low volume list 20 Nov '22

20 Nov '22

Dear seL4 friends, With the great success of the seL4 summit 2022 behind us, we are now already looking at the seL4 summit 2023! This should happen around Sep/Oct 2023. We have started investigating options for the location, and we would like your feedback. We would very much appreciate if you could fill in this very short survey to tell us your opinion between USA (likely Minneapolis) and Australia (likely Sydney) or any other feedback you have: https://forms.gle/k4XxYaYeudYUie9U8 <https://forms.gle/k4XxYaYeudYUie9U8> Please do so by Nov 22nd 2022. Feel free to forward to anyone you believe may want to attend the summit next year. Many thanks! June -- June Andronick CEO of the seL4 Foundation https://sel4.systems/Foundation

1 1

BM9 Minutes up
by Announcements about seL4 -- low volume list 11 Nov '22

11 Nov '22

Dear seL4 Community, The (unconfirmed) Minutes of the 9th Board Meeting (2022-10-13) are now published: https://sel4.systems/Foundation/Board/Minutes/ Gernot

1 0

The videos and slides of the seL4 summit 2022 are available online
by Announcements about seL4 -- low volume list 10 Nov '22

10 Nov '22

The videos and slides of the seL4 summit 2022 are available online Videos of the seL4 summit 2022 are now available on the seL4 YouTube channel [0]! Links and slides can be found on the summit Program [1] and Abstracts [2] pages. Thanks to all the speakers for making the seL4 summit 2022 a great success! [0] https://www.youtube.com/@seL4 [1] https://sel4.systems/Foundation/Summit/program [2] https://sel4.systems/Foundation/Summit/abstracts2022 --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0