Announce

Download

announce@sel4.systems

March 2022

1 participants
2 discussions

The Call for Presentations for the seL4 summit 2022 is out!
by Announcements about seL4 -- low volume list 30 Mar '22

30 Mar '22

We are calling for proposals to present at the seL4 Summit 2022! Share your seL4 work. Share your seL4 experience. Share your seL4 thoughts. Share your seL4 questions. Check the full Call For Presentations and topics of interest at: https://sel4.systems/Foundation/Summit/cfp To propose a talk, send an abstract of one page or less by Monday 9th of May 2022 to summit(a)sel4.systems. Please do spread the word and also encourage others to submit a talk if you like their work! Thanks, June

1 0

Meet the Program Committee of the seL4 summit 2022
by Announcements about seL4 -- low volume list 18 Mar '22

18 Mar '22

The seL4 Foundation is excited to present the Program Committee for the seL4 summit 2022! https://sel4.systems/news/2022#summit-pc <https://sel4.systems/news/2022#summit-pc> https://sel4.systems/Foundation/Summit/ <https://sel4.systems/Foundation/Summit/> Stay tuned for the Call for Presentation soon! June

1 0