Announce

announce@sel4.systems
  • 1 participants
  • 87 discussions

seL4 Summit 2022: Call for Participation!
by Announcements about seL4 -- low volume list
4 days, 10 hours

Google joins the seL4 Foundation
by Announcements about seL4 -- low volume list
2 weeks, 1 day

The seL4 summit Program is available
by Announcements about seL4 -- low volume list
1 month, 3 weeks

LatticeX joins the seL4 Foundation!
by Announcements about seL4 -- low volume list
2 months

The seL4 Summit 2022 will be in Munich, Germany, on 10-12 Oct 2022
by Announcements about seL4 -- low volume list
3 months, 3 weeks

The Call for Presentations for the seL4 summit 2022 is out!
by Announcements about seL4 -- low volume list
4 months, 3 weeks

Meet the Program Committee of the seL4 summit 2022
by Announcements about seL4 -- low volume list
5 months

NCSC joins the seL4 Foundation
by Announcements about seL4 -- low volume list
6 months, 2 weeks

Call for bids to host the seL4 Summit 2022!
by Announcements about seL4 -- low volume list
6 months, 2 weeks
Results per page: