Call for bids to host the seL4 Summit 2022!
1 Feb
2022
1 Feb
'22
4:04 a.m.
The seL4 Foundation will be organising the fourth edition of the seL4 Summit, in October 2022. A Program Committee will be in charge of the technical side (more on that soon) and an Hosting Team will be in charge of organising the event. We are now calling for bids to be the Host team for the seL4 Summit 2022! Bids should be sent to summit@sel4.systems mailto:summit@sel4.systems before 22 February 2022. More information on https://sel4.systems/Foundation/Summit/ https://sel4.systems/Foundation/Summit/
1024
Age (days ago)
1024
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list