Announce

Download

announce@sel4.systems

November 2024

1 participants
2 discussions

seL4 summit 2025: survey about location
by Announcements about seL4 -- low volume list 20 Nov '24

20 Nov '24

With the great success of the seL4 summit 2024 [0] behind us, we are now looking at the seL4 summit 2025! This should happen around Sep/Oct 2025, and will be held in Europe. We have started investigating options for the location, and would like your feedback. We would greatly appreciate it if you could fill in this very short survey to tell us your opinions: https://form.jotform.com/243076885259874 *Please do so by 29 Nov 2024.* Feel free to forward to anyone you believe may want to attend the summit next year. [0] https://sel4.systems/Foundation/Summit/2024/ 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

The videos and slides of the seL4 summit 2024 are available online
by Announcements about seL4 -- low volume list 08 Nov '24

08 Nov '24

Videos of the seL4 summit 2024 [0] are now available on the seL4 YouTube channel [1]! Links and slides can be found on the summit Program [2] and Abstracts [3] pages. Thanks to all the speakers for making the seL4 summit 2024 a great success! [0] https://sel4.systems/Foundation/Summit/2024/ [1] https://www.youtube.com/@seL4 [2] https://sel4.systems/Foundation/Summit/2024/program [3] https://sel4.systems/Foundation/Summit/2024/abstracts2024 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