- Announce - lists.sel4.systems

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

One week to go to submit a talk for seL4 summit 2023 [0]! If you'd like to submit a talk, please upload an abstract of one page or less to the submission portal [1]. The seL4 Summit 2023 will be held 19 - 21 September 2023 at the Elliot Park Hotel, Minneapolis, USA. The summit will be hosted by the Linux Foundation, and will be an in-person event. Registration details to follow soon. We're looking forward to many exciting proposals! [0] https://sel4.systems/Foundation/Summit/2023/cfp [1] https://sel4.systems/Foundation/Summit/2023/submit --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

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

14 Apr '23

Dates and venue confirmed for the seL4 summit 2023! The seL4 Summit 2023 [0] will be held 19 - 21 September 2023 at the Elliot Park Hotel [1], Minneapolis, USA. The summit will be hosted by the Linux Foundation [2], and will be an in-person event. Registration details to follow soon! Remember that you have until 24 April 2022 to propose a talk [3]. To propose a talk, upload an abstract of one page or less to the submission portal [4]. [0] https://sel4.systems/Foundation/Summit/2023/ [1] https://www.elliotparkhotel.com/ [2] https://www.linuxfoundation.org/ [3] https://sel4.systems/Foundation/Summit/2023/cfp [4] https://sel4.systems/Foundation/Summit/2023/submit --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

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

31 Mar '23

The deadline to submit a presentation to the seL4 summit 2023 is extended by 2 weeks. You now have until the 24th of April 2023 to propose a talk, by uploading an abstract of one page or less to: https://sel4.systems/Foundation/Summit/2023/submit The reason for the extension is that we want to let you know the definite dates for the summit before the deadline :) Current tentative (and very likely) dates are 19-20-21 September 2023, to be confirmed very soon. Looking forward to receiving your proposals. We want to hear about your cool seL4 work! And spread the word! If you want to hear about specific seL4 work, ping people around you or let us know at summit(a)sel4.systems <mailto:summit@sel4.systems> June

1 0

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

22 Mar '23

The seL4 Foundation welcomes the Autoware Foundation [0] as a member [1]. The Autoware Foundation hosts the Autoware Project, the world’s leading open-source software project for autonomous driving. As a member of the seL4 Foundation, the Autoware Foundation will work with members of the seL4 Foundation to implement a safe and secure Autonomous Driving software stack based on Autoware, leveraging the formally-verified and mixed-criticality capabilities of seL4. [0] https://www.autoware.org/ [1] https://sel4.systems/Foundation/Membership/ --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

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

20 Feb '23

Call For Presentations [0] for the seL4 Summit 2023 [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 10 April 2023 to the submission portal [2]. [0] https://sel4.systems/Foundation/Summit/2023/cfp [1] https://sel4.systems/Foundation/Summit/ [2] https://sel4.systems/Foundation/Summit/2023/submit --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

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

13 Feb '23

Meet the Program Committee of the seL4 summit 2023 We are thrilled to announce our program committee for the seL4 Summit 2023 [0]. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers [1]. [0] https://sel4.systems/Foundation/Summit/2023/ [1] https://sel4.systems/news/2023 --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

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

10 Feb '23

It is our pleasure to confirm that the seL4 Summit 2023 [0] will be in: Minneapolis, USA, Sept/Oct 2023 (dates TBC). The summit will be hosted by the Linux Foundation [1], and will be an in-person event. We will announce a Call for Presentations in the coming weeks. Stay tuned! [0] https://sel4.systems/Foundation/Summit/2023/ [1] https://www.linuxfoundation.org/ --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

seL4 features in the Linux Foundation’s 2022 Annual report
by Announcements about seL4 -- low volume list 14 Dec '22

14 Dec '22

We are pleased to announce that seL4 features in the Linux Foundation’s 2022 Annual report. For more information, visit https://sel4.systems/news/2022 --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

Survey about the seL4 summit 2023's location
by Announcements about seL4 -- low volume list 21 Nov '22

21 Nov '22

Dear seL4 friends, With the great success of the seL4 summit 2022 behind us, we are now already looking at the seL4 summit 2023! This should happen around Sep/Oct 2023. We have started investigating options for the location, and we would like your feedback. We would very much appreciate if you could fill in this very short survey to tell us your opinion between USA (likely Minneapolis) and Australia (likely Sydney) or any other feedback you have: https://forms.gle/k4XxYaYeudYUie9U8 <https://forms.gle/k4XxYaYeudYUie9U8> Please do so by Nov 22nd 2022. Feel free to forward to anyone you believe may want to attend the summit next year. Many thanks! June -- June Andronick CEO of the seL4 Foundation https://sel4.systems/Foundation

1 1

BM9 Minutes up
by Announcements about seL4 -- low volume list 11 Nov '22

11 Nov '22

Dear seL4 Community, The (unconfirmed) Minutes of the 9th Board Meeting (2022-10-13) are now published: https://sel4.systems/Foundation/Board/Minutes/ Gernot

1 0