Announce

Download

announce@sel4.systems

September 2023

1 participants
2 discussions

2 weeks left before the seL4 summit; there's still time to register
by Announcements about seL4 -- low volume list 06 Sep '23

06 Sep '23

The seL4 summit 2023 will start in 2 weeks in Minneapolis! There is still time to register if you haven’t done it yet. Summit: https://sel4.systems/Foundation/Summit/2023/ Register: https://events.linuxfoundation.org/sel4-summit/register/ Program: https://sel4summit2023.sched.com/ See you there!

1 0

Thanks NIO for sponsoring the seL4 Summit 2023 reception and dinner
by Announcements about seL4 -- low volume list 01 Sep '23

01 Sep '23

Thanks NIO for sponsoring the seL4 Summit 2023 reception and dinner The seL4 Foundation thanks NIO [0] for sponsoring both the reception and dinner for the seL4 Summit 2023 [1]. NIO is also a gold sponsor [2] of the summit. Email us at summit(a)sel4.systems if you are interested in sponsoring the seL4 summit. More on sponsorship here [3]. [0] https://www.nio.com/ [1] https://sel4.systems/Foundation/Summit/2023/ [2] https://sel4.systems/news/2023#sponsor23-nio [3] https://events.linuxfoundation.org/sel4-summit/sponsor/ --- 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 2pm-5pm Fri 9am-5pm

1 0