Skip to content

Commit

Permalink
add draft announcement of summit panel session
Browse files Browse the repository at this point in the history
Signed-off-by: Birgit Brecknell <b@brck.nl>
  • Loading branch information
bbrcknl committed Aug 30, 2024
1 parent 55d4bbe commit eab3925
Show file tree
Hide file tree
Showing 2 changed files with 47 additions and 2 deletions.
24 changes: 22 additions & 2 deletions Foundation/Summit/2024/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -25,9 +25,9 @@ <h4>
<li><a href="#summit-cfp">Submissions and Call for Presentations</a></li>
<li><a href="#summit-program">Program & Abstracts</a></li>
<li><a href="#summit-keynote-speakers">Keynote Speakers</a></li>
<!-- li><a href="#summit-panellists">Panellists</a></li>-->
<li><a class="highlight" href="#summit-panel">Latest news: Panel Session</a></li>
<li><a href="#summit-training-day">Training day @ UNSW</a></li>
<li><a class="highlight" href="#summit-social">Latest news: Social Activities</a></li>
<li><a href="#summit-social">Latest news: Social Activities</a></li>
<li><a href="#summit-pc">Program Committee</a></li>
<li><a href="#summit-sponsors">Sponsors</a></li>
<li><a href="#summit-contact">Contact</a></li>
Expand Down Expand Up @@ -175,6 +175,26 @@ <h3 id="summit-keynote-speakers">
</div>


<div class="summit_div">
<h3 id="summit-panel">
seL4 Anniversary Panel Session
</h3>
<p>
seL4 celebrated <a href="../../../news/2024#sel4-day">three key anniversaries in 2024</a>. 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.
</p>
<p>
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 <mark>Collins Aerospace</mark>, <mark>DARPA</mark>, <mark>Galois</mark>, <mark>Kry10</mark>, <mark>NCSC</mark>, <mark>Neutrality</mark>, <mark>Proofcraft</mark>, <mark>The University of Melbourne</mark> and <mark>UNSW</mark>.

</p>
<p>
<mark>Add slide of timeline</mark>
</p>
<p>
<a href="https://nickspinale.com"><img src="../../../images/summit/nick.jpg" style="padding:10px" alt="Nick Spinale" width="120"/></a>
The panel will be moderated by Nick Spinale from Colias Group, LLC.
</p>
</div>

<div class="summit_div">
<h3 id="summit-training-day">
Training day @ UNSW
Expand Down
25 changes: 25 additions & 0 deletions _news-items/2024-09-XX-panel.html
Original file line number Diff line number Diff line change
@@ -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
---

<p>
<a href="../Foundation/Summit/2024">
<img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
alt="seL4 summit">
</a>
seL4 celebrated <a href="2024#sel4-day">three key anniversaries in 2024</a>. To celebrate these key anniversaries, a special panel will gather at the <a href="../Foundation/Summit/2024">seL4 Summit 2024</a> to reflect on the journey over the past 20 years and discuss the future ahead.
</p>
<p>
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 <mark>Collins Aerospace</mark>, <mark>DARPA</mark>, <mark>Galois</mark>, <mark>Kry10</mark>, <mark>NCSC</mark>, <mark>Neutrality</mark>, <mark>Proofcraft</mark>, <mark>The University of Melbourne</mark> and <mark>UNSW</mark>.

</p>
<p>
<mark>Add slide of timeline</mark>
</p>
<p>
<a href="https://nickspinale.com"><img src="../../../images/summit/nick.jpg" style="padding:10px" alt="Nick Spinale" width="120"/></a>
The panel will be moderated by Nick Spinale from Colias Group, LLC.
</p>

0 comments on commit eab3925

Please sign in to comment.