deploy: seL4/website@191927f

seL4 · May 31, 2024 · 31037fb · 31037fb
1 parent 94d93c6
commit 31037fb
Show file tree

Hide file tree

Showing 4 changed files with 139 additions and 139 deletions.
diff --git a/PR_361/Foundation/Summit/2024/index.html b/PR_361/Foundation/Summit/2024/index.html
@@ -396,11 +396,11 @@ <h3 id="summit-sponsors">
     <div class="sponsor-pic">
       <a href="https://unsw.edu.au">
         <img src="../../Membership/LOGOS/UNSW.svg" style="width: 150px"
-            alt="UNSW logo">
+            alt="UNSW Sydney logo">
       </a>
     </div>
     <div class="sponsor-name">
-      UNSW
+      UNSW Sydney
     </div>
     <div class="sponsor-info">Bronze sponsor
     </div>

diff --git a/PR_361/news/2024.html b/PR_361/news/2024.html
@@ -142,15 +142,15 @@ <h1>
     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">University of New South Wales (UNSW)</a>, a founding member of the seL4 Foundation.
+    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 Sydney</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>
-    The team uses rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees. Their aims are to:
   </p>
   <ul>
     <li>shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and</li>
@@ -161,7 +161,7 @@ <h1>
   </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">University of New South Wales (UNSW)</a>.
+   Sydney, the hometown of <a href="https://trustworthy.systems/">Trustworthy Systems</a> and <a href="https://unsw.edu.au">UNSW Sydney</a>.
   </p>
   <p>
     See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if

diff --git a/PR_361/news/index.html b/PR_361/news/index.html
@@ -141,15 +141,15 @@ <h1>
     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">University of New South Wales (UNSW)</a>, a founding member of the seL4 Foundation.
+    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 Sydney</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>
-    The team uses rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees. Their aims are to:
   </p>
   <ul>
     <li>shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and</li>
@@ -160,7 +160,7 @@ <h1>
   </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">University of New South Wales (UNSW)</a>.
+   Sydney, the hometown of <a href="https://trustworthy.systems/">Trustworthy Systems</a> and <a href="https://unsw.edu.au">UNSW Sydney</a>.
   </p>
   <p>
     See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if