auto-deployed

seL4 · May 31, 2024 · ac59f72 · ac59f72
1 parent 21797eb
commit ac59f72
Show file tree

Hide file tree

Showing 5 changed files with 241 additions and 139 deletions.
diff --git a/Foundation/Summit/2024/index.html b/Foundation/Summit/2024/index.html
@@ -380,7 +380,7 @@ <h3 id="summit-sponsors">
  We are grateful to the following sponsors for their financial support of the seL4 summit 2024.
  </p>
 </div>
-<div class="sponsors-1" style="padding-top:60px">
+<div class="sponsors" style="padding-top:10px; padding-bottom:20px;">
  <div class="sponsor">
  <div class="sponsor-pic">
  <a href="https://proofcraft.systems">
@@ -394,11 +394,23 @@ <h3 id="summit-sponsors">
  <div class="sponsor-info">Bronze sponsor
  </div>
  </div>
+ <div class="sponsor">
+ <div class="sponsor-pic">
+ <a href="https://unsw.edu.au">
+ <img src="../../Membership/LOGOS/UNSW.svg" style="width: 150px"
+ alt="UNSW Sydney logo">
+ </a>
+ </div>
+ <div class="sponsor-name">
+ UNSW Sydney
+ </div>
+ <div class="sponsor-info">Bronze sponsor
+ </div>
+ </div>
 </div>
 <div>
  <p>
- See <a
- href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
+ See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
  you are interested in sponsoring the seL4 summit 2024.
  </p>
 </div>

diff --git a/index.html b/index.html
@@ -104,17 +104,17 @@ <h4>
  <ul>
  <li>
  <strong>
- 24 May 2024: Welcome Proofcraft, Bronze sponsor of the seL4 Summit 2024
+ 31 May 2024: Welcome UNSW, Bronze sponsor of the seL4 Summit 2024
  </strong>
  </li>
  <li>
  <strong>
- 17 May: Register for the seL4 Summit 2024
+ 24 May 2024: Welcome Proofcraft, Bronze sponsor of the seL4 Summit 2024
  </strong>
  </li>
  <li>
  <strong>
- 29 Apr 2024: Apple joins the seL4 Foundation
+ 17 May: Register for the seL4 Summit 2024
  </strong>
  </li>
  <li style="margin-top:0.2em;list-style-type:none">

diff --git a/news/2024.html b/news/2024.html
@@ -127,6 +127,52 @@ <h1>
 </div>
 -->
 
+<!----------------------------------------------------------->
+<div class="news-item tag-link" id="sponsor24-unsw">
+ <a href="#sponsor24-proofcraft"><span class="tag-span"># </span></a> 31 May 2024: Welcome UNSW, Bronze sponsor of the seL4 Summit 2024
+</div>
+<div>
+ <a href="https://unsw.edu.au">
+ <img src="../Foundation/Membership/LOGOS/UNSW.svg"
+ style="width: 15%; float:right"
+ alt="UNSW logo" />
+ </a>
+
+ <p>
+ The seL4 Foundation thanks <a href="https://unsw.edu.au">UNSW Sydney</a> for
+ becoming a Bronze sponsor of the <a href="../Foundation/Summit/2024">seL4 Summit
+ 2024</a>.
+ </p>
+ <p>
+ seL4 was created by the <a href="https://trustworthy.systems/">Trustworthy Systems (TS)</a> team, which is now part of the <a href="https://unsw.edu.au">UNSW</a>, a founding member of the seL4 Foundation.
+ </p>
+ <p>
+ The team has a track record of designing and implementing systems software for performance and reliability, and using rigorous formal methods to prove that they meet their security and reliability goals. Their aims are to:
+ <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>
+ </p>
+ <ul>
+ <li>shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and</li>
+ <li>make verified software a default choice, especially in safety- and security-critical systems.</li>
+ </ul>
+ <p>
+ The team works with government and commercial partners, as well as the broader software engineering community, to drive this change.
+ </p>
+ <p>
+ The <a href="../Foundation/Summit/2024">seL4 Summit 2024</a> will take place in
+ Sydney, the hometown of <a href="https://trustworthy.systems/">Trustworthy Systems</a> and <a href="https://unsw.edu.au">UNSW</a>.
+ </p>
+ <p>
+ See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
+ you are interested in sponsoring the seL4 summit 2024.
+ </p>
+
+</div>
+
+
 <!----------------------------------------------------------->
 <div class="news-item tag-link" id="sponsor24-proofcraft">
  <a href="#sponsor24-proofcraft"><span class="tag-span"># </span></a> 24 May 2024: Welcome Proofcraft, Bronze sponsor of the seL4 Summit 2024
@@ -162,7 +208,6 @@ <h1>
  </p>
 
 </div>
-
 <!----------------------------------------------------------->
 <div class="news-item tag-link" id="summit-2024-register">
  <a href="#summit-2024-register"><span class="tag-span"># </span></a>

diff --git a/news/index.html b/news/index.html
@@ -126,6 +126,52 @@ <h1>
 </div>
 -->
 
+<!----------------------------------------------------------->
+<div class="news-item tag-link" id="sponsor24-unsw">
+ <a href="#sponsor24-proofcraft"><span class="tag-span"># </span></a> 31 May 2024: Welcome UNSW, Bronze sponsor of the seL4 Summit 2024
+</div>
+<div>
+ <a href="https://unsw.edu.au">
+ <img src="../Foundation/Membership/LOGOS/UNSW.svg"
+ style="width: 15%; float:right"
+ alt="UNSW logo" />
+ </a>
+
+ <p>
+ The seL4 Foundation thanks <a href="https://unsw.edu.au">UNSW Sydney</a> for
+ becoming a Bronze sponsor of the <a href="../Foundation/Summit/2024">seL4 Summit
+ 2024</a>.
+ </p>
+ <p>
+ seL4 was created by the <a href="https://trustworthy.systems/">Trustworthy Systems (TS)</a> team, which is now part of the <a href="https://unsw.edu.au">UNSW</a>, a founding member of the seL4 Foundation.
+ </p>
+ <p>
+ The team has a track record of designing and implementing systems software for performance and reliability, and using rigorous formal methods to prove that they meet their security and reliability goals. Their aims are to:
+ <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>
+ </p>
+ <ul>
+ <li>shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and</li>
+ <li>make verified software a default choice, especially in safety- and security-critical systems.</li>
+ </ul>
+ <p>
+ The team works with government and commercial partners, as well as the broader software engineering community, to drive this change.
+ </p>
+ <p>
+ The <a href="../Foundation/Summit/2024">seL4 Summit 2024</a> will take place in
+ Sydney, the hometown of <a href="https://trustworthy.systems/">Trustworthy Systems</a> and <a href="https://unsw.edu.au">UNSW</a>.
+ </p>
+ <p>
+ See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
+ you are interested in sponsoring the seL4 summit 2024.
+ </p>
+
+</div>
+
+
 <!----------------------------------------------------------->
 <div class="news-item tag-link" id="sponsor24-proofcraft">
  <a href="#sponsor24-proofcraft"><span class="tag-span"># </span></a> 24 May 2024: Welcome Proofcraft, Bronze sponsor of the seL4 Summit 2024
@@ -161,7 +207,6 @@ <h1>
  </p>
 
 </div>
-
 <!----------------------------------------------------------->
 <div class="news-item tag-link" id="summit-2024-register">
  <a href="#summit-2024-register"><span class="tag-span"># </span></a>