Announce

announce@sel4.systems
  • 109 discussions
Galois now part of the seL4 Foundation
by Announcements about seL4 -- low volume list 29 May '23

29 May '23
Register for the seL4 summit 2023
by Announcements about seL4 -- low volume list 12 May '23

12 May '23
seL4 receives the ACM Software System Award!
by Announcements about seL4 -- low volume list 05 May '23

05 May '23
One week to go to submit a talk for seL4 summit 2023!
by Announcements about seL4 -- low volume list 17 Apr '23

17 Apr '23
Dates and venue confirmed for the seL4 summit 2023
by Announcements about seL4 -- low volume list 14 Apr '23

14 Apr '23
seL4 summit: deadline extension to 24th of April
by Announcements about seL4 -- low volume list 31 Mar '23

31 Mar '23
The seL4 Foundation welcomes the Autoware Foundation as a member
by Announcements about seL4 -- low volume list 22 Mar '23

22 Mar '23
[seL4]: Call For Presentations for the seL4 Summit 2023!
by Announcements about seL4 -- low volume list 20 Feb '23

20 Feb '23
[seL4] Meet the Program Committee of the seL4 summit 2023
by Announcements about seL4 -- low volume list 13 Feb '23

13 Feb '23
[seL4]: seL4 summit 2023
by Announcements about seL4 -- low volume list 10 Feb '23

10 Feb '23
Results per page: