[seL4]: seL4 summit 2023
10 Feb
2023
10 Feb
'23
3:38 p.m.
It is our pleasure to confirm that the seL4 Summit 2023 [0] will be in: Minneapolis, USA, Sept/Oct 2023 (dates TBC). The summit will be hosted by the Linux Foundation [1], and will be an in-person event. We will announce a Call for Presentations in the coming weeks. Stay tuned! [0] https://sel4.systems/Foundation/Summit/2023/ [1] https://www.linuxfoundation.org/ --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm
681
Age (days ago)
681
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list