+ seL4 Anniversary Panel Session +
++ seL4 celebrated three key anniversaries in 2024. To celebrate these key anniversaries, a special panel will gather at the seL4 Summit 2024 to reflect on the journey over the past 20 years and discuss the future ahead. +
++ The panel will cover the journey from the early days (2004-2009) to the developments over the years (2009-present), and then look to the future, with key players outlining their visions for seL4 in the next 20 years. The panel will be a mix of in-person anecdotes, videos, and quotes, including participants from Collins Aerospace, DARPA, Galois, Kry10, NCSC, Neutrality, Proofcraft, The University of Melbourne and UNSW. + +
++ Add slide of timeline +
+
+ 
+ The panel will be moderated by Nick Spinale from Colias Group, LLC.
+
Training day @ UNSW diff --git a/_news-items/2024-09-XX-panel.html b/_news-items/2024-09-XX-panel.html new file mode 100644 index 00000000..8cabed9e --- /dev/null +++ b/_news-items/2024-09-XX-panel.html @@ -0,0 +1,25 @@ +--- +# Copyright 2024 seL4 Project a Series of LF Projects, LLC. +# SPDX-License-Identifier: CC-BY-SA-4.0 +title: seL4 summit 2024 Anniversary Panel Session +anchor: panel24 +--- + +
+
+ 
+
+ seL4 celebrated three key anniversaries in 2024. To celebrate these key anniversaries, a special panel will gather at the seL4 Summit 2024 to reflect on the journey over the past 20 years and discuss the future ahead.
+
+ The panel will cover the journey from the early days (2004-2009) to the developments over the years (2009-present), and then look to the future, with key players outlining their visions for seL4 in the next 20 years. The panel will be a mix of in-person anecdotes, videos, and quotes, including participants from Collins Aerospace, DARPA, Galois, Kry10, NCSC, Neutrality, Proofcraft, The University of Melbourne and UNSW. + +
++ Add slide of timeline +
+
+
+ The panel will be moderated by Nick Spinale from Colias Group, LLC.
+