February 2024 - Announce - lists.sel4.systems

Call For Presentations for the seL4 Summit 2024
by Announcements about seL4 -- low volume list 19 Feb '24

19 Feb '24

Call For Presentations [0] for the seL4 Summit 2024 [1] - Share your seL4 work - Share your seL4 experience - Share your seL4 thoughts Check the full Call For Presentations [0]. To propose a talk, upload an abstract of one page or less by 22 April 2024 to the submission portal [2]. Also note the open invitation for a 5-minute slot to talk about your seL4 deployment [3]. [0] https://sel4.systems/Foundation/Summit/2024/cfp [1] https://sel4.systems/Foundation/Summit/2024/ [2] https://sel4.systems/Foundation/Summit/2024/submit [3] https://sel4.systems/Foundation/Summit/2024/cfp#sel4-deployment --- Birgit Brecknell Project Coordinator, seL4 Foundation birgit(a)sel4.systems<mailto:birgit@sel4.systems> birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0

Meet the Program Committee of the seL4 summit 2024
by Announcements about seL4 -- low volume list 14 Feb '24

14 Feb '24

Meet the Program Committee of the seL4 summit 2024 We are thrilled to announce our program committee for the seL4 Summit 2024 [0]. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers. We will announce a Call for Presentations in the coming weeks. Stay tuned! [0] https://sel4.systems/Foundation/Summit/2024/ --- Birgit Brecknell Project Coordinator, seL4 Foundation birgit(a)sel4.systems<mailto:birgit@sel4.systems> birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0

The seL4 summit 2024 will be held in Sydney, Australia
by Announcements about seL4 -- low volume list 09 Feb '24

09 Feb '24

It is our pleasure to confirm that the seL4 Summit 2024 [0] will be in: Sydney, Australia, Oct 2024 (dates TBC). We look forward to welcoming the community in the birthplace of seL4. We will announce a Call for Presentations in the coming weeks. Stay tuned! [0] https://sel4.systems/Foundation/Summit/2024/ --- Birgit Brecknell Project Coordinator, seL4 Foundation birgit(a)sel4.systems<mailto:birgit@sel4.systems> birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0