Announce keynotes (#366)

* add keynote announcement * add keynote speaker pics * add keynote abstracts * update keynote grid css --------- Signed-off-by: Birgit Brecknell <[email protected]>
seL4 · Jun 12, 2024 · f3cf786 · f3cf786
1 parent b3317ad
commit f3cf786
Show file tree

Hide file tree

Showing 11 changed files with 156 additions and 16 deletions.
diff --git a/Foundation/Summit/2022/index.html b/Foundation/Summit/2022/index.html
@@ -135,7 +135,7 @@ <h3 id="summit-keynote-speakers">
     Keynote Speakers
   </h3>
 </div>
-<div class="speakers_grid">
+<div class="keynotes_grid">
   <div class="speaker">
     <div class="speaker_pic">
       <a href="https://trustworthy.systems/people/?cn=Gernot+Heiser"><img src="../../../images/summit/gernot.jpg" alt="Gernot Heiser" width="150"/></a>
@@ -145,7 +145,7 @@ <h3 id="summit-keynote-speakers">
       <br>
       UNSW
     </div>
-    <div class="speaker_talk" style="text-align:center">
+    <div class="keynote_talk" style="text-align:center">
       <a class="summit-abstract-link" href="abstracts2022#a-seL4-research">State of seL4-related research</a>
     </div>
   </div>
@@ -159,7 +159,7 @@ <h3 id="summit-keynote-speakers">
       <br>
       Kry10
     </div>
-    <div class="speaker_talk" style="text-align:center">
+    <div class="keynote_talk" style="text-align:center">
       <a class="summit-abstract-link" href="abstracts2022#a-Kry10-Secure-Platform">Kry10 Secure Platform</a>
     </div>
   </div>

diff --git a/Foundation/Summit/2023/index.html b/Foundation/Summit/2023/index.html
@@ -117,7 +117,7 @@ <h3 id="summit-keynote-speakers">
         NCSC
       </div>
       <a class="summit-abstract-link" href="abstracts2023#a-scoping-assurance">
-        <div class="speaker_talk" style="text-align:center">
+        <div class="keynote_talk" style="text-align:center">
           Scoping assurance activities with seL4
         </div>
       </a>
@@ -134,7 +134,7 @@ <h3 id="summit-keynote-speakers">
         Google
       </div>
       <a class="summit-abstract-link" href="abstracts2023#a-cantripos">
-        <div class="speaker_talk" style="text-align:center">
+        <div class="keynote_talk" style="text-align:center">
           CantripOS: An OS for Ambient ML Applications
         </div>
       </a>

diff --git a/Foundation/Summit/2024/abstracts2024.html b/Foundation/Summit/2024/abstracts2024.html
@@ -0,0 +1,21 @@
+---
+# Copyright 2024, seL4 summit authors (see abstracts)
+# SPDX-License-Identifier: CC-BY-SA-4.0
+title: Summit abstracts
+---
+<h1>
+  seL4 Summit 2024
+</h1>
+<h4>
+  Sydney, Australia
+</h4>
+<h4>
+  15-17 October 2024
+</h4>
+
+
+<h3>
+   Abstracts
+</h3>
+<div class="summit-abstract" id="a-inspecta">{% include abstracts/2024/inspecta.html %}</div>
+<div class="summit-abstract" id="a-software-defined">{% include abstracts/2024/software-defined.html %}</div>
diff --git a/Foundation/Summit/2024/index.html b/Foundation/Summit/2024/index.html
@@ -20,11 +20,11 @@ <h4>
   <ul>
     <!--li><a href="#summit-important-dates">Important Dates</a></li-->
     <li><a href="#summit-about">About</a></li>
-    <li><a class="highlight" href="#summit-registration">Latest News: Register for summit</a></li>
+    <li><a href="#summit-registration">Latest News: Register for summit</a></li>
     <li><a href="#summit-location">Location & Venue</a></li>
     <li><a href="#summit-cfp">Submissions and Call for Presentations</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-keynote-speakers">Keynote Speakers</a></li>
+    <!--li><a href="#summit-panellists">Panellists</a></li>
     <li><a href="#summit-program">Program, Abstracts, Slides and Videos</a></li-->
     <li><a href="#summit-pc">Program Committee</a></li>
     <li><a href="#summit-sponsors">Sponsors</a></li>
@@ -119,6 +119,43 @@ <h3 id="summit-cfp">
   </p>
 </div>
 
+<div class="summit_div">
+  <h3 id="summit-keynote-speakers">
+    Keynote Speakers
+  </h3>
+</div>
+  <div class="keynotes_grid">
+    <div class="speaker">
+      <div class="speaker_pic">
+        <img src="../../../images/summit/dcofer-2022-2-small.jpg" style="width: 150px" alt="Darren Cofer" />
+      </div>
+      <div class="speaker_title" style="text-align:center">
+        <strong><a href="https://www.linkedin.com/in/darren-cofer-07824a5/">Darren Cofer</a></strong>
+        <br>
+        <a href="https://www.collinsaerospace.com/">Collins Aerospace</a>
+      </div>
+      <a class="summit-abstract-link" href="abstracts2024#a-inspecta">
+        <div class="keynote_talk" style="text-align:center">
+          Industrial Scale Proof Engineering for Critical Trustworthy Applications (INSPECTA)
+        </div>
+      </a>
+    </div>
+    <div class="speaker">
+      <div class="speaker_pic">
+        <img src="../../../images/summit/ning2.png" style="width:150px;" alt="Ning Qu" />
+      </div>
+      <div class="speaker_title" style="text-align:center">
+        <strong><a href="https://www.linkedin.com/in/quning/">Ning Qu</a></strong>
+        <br>
+        <a href="https://www.nio.com/">NIO</a>
+      </div>
+      <a class="summit-abstract-link" href="abstracts2024#a-software-defined">
+        <div class="keynote_talk" style="text-align:center">
+          seL4 in Software-Defined Vehicles: Vision, Roadmap, and Impact at NIO
+        </div>
+      </a>
+    </div>
+</div>
 
 <div class="summit_div">
   <h3 id="summit-pc">

diff --git a/_includes/abstracts/2024/inspecta.html b/_includes/abstracts/2024/inspecta.html
@@ -0,0 +1,32 @@
+<!--<title>Summit abstract</title>-->
+<!--
+    Copyright 2024, seL4 summit authors (see abstracts)
+    SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+<h4 class="summit-abstract-title">
+    Industrial Scale Proof Engineering for Critical Trustworthy Applications (INSPECTA)
+</h4>
+<p class="summit-abstract-type">
+    Keynote
+</p>
+<p class="summit-abstract-author">
+    Presented by Darren Cofer, <span class="summit-abstract-affiliation">Collins Aerospace</span>
+</p>
+<p>
+Formal methods have been successfully deployed at scale in production environments at large internet
+companies, but barriers remain to their adoption by defense companies developing national security
+systems. The goal of the INSPECTA project (part of the DARPA PROVERS program which has just started
+in 2024) is to improve the security of defense and aerospace systems by dramatically improving the
+usability, flexibility, and accessibility of formal methods-based development and verification tools. We
+will leverage memory-safe programming languages (Rust), a provably secure microkernel (seL4), and new
+formal methods tools and make them accessible to the defense industry workforce. These open source
+technologies will be integrated into an aerospace CertDevOps workflow automation processes and
+applied to the development of mission critical systems to demonstrate their usability, practicality, and
+eﬀectiveness. We will demonstrate the tools and workflow by addressing emerging security
+requirements for the Air Launched Eﬀects (ALE) mission computing platform. This will include re-
+architecting the mission sotfware as a collection of virtual machines running legacy code and selected
+high-criticality components, producing an architecture model for the system, porting selected software
+to Rust, building software to run on seL4, and verifying critical safety and security properties. This
+presentation will provide an overview of the PROVERS program objectives, the INSPECTA workflow to be
+developed, and the assurance evidence to be produced.
+</p>
diff --git a/_includes/abstracts/2024/software-defined.html b/_includes/abstracts/2024/software-defined.html
@@ -0,0 +1,17 @@
+<!--<title>Summit abstract</title>-->
+<!--
+    Copyright 2024, seL4 summit authors (see abstracts)
+    SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+<h4 class="summit-abstract-title">
+    seL4 in Software-Defined Vehicles: Vision, Roadmap, and Impact at NIO
+</h4>
+<p class="summit-abstract-type">
+    Keynote
+</p>
+<p class="summit-abstract-author">
+    Presented by Ning Qu, <span class="summit-abstract-affiliation">NIO</span>
+</p>
+<p>
+    The automotive industry is rapidly evolving, with software-defined vehicles (SDVs) at the forefront of this transformation. At NIO, we are leveraging the seL4 microkernel to redefine vehicle architecture, ensuring robust safety, reliability, and performance. This presentation will explore the vision behind integrating seL4 into our SDV platform. We will share the journey of delivering the seL4-based SkyOS-M within the ONVO vehicle on our latest NT3 platform, highlight the significant impact this integration has had on our vehicle design and functionality, and outline our future roadmap beyond the current launch.
+</p>
diff --git a/css/sel4.css b/css/sel4.css
@@ -690,7 +690,12 @@
  .keynotes_grid {
    display: grid;
    display: inline-grid;
-   grid-template-columns: 1fr 1fr;
+   grid-template-columns: 300px 300px;
+   align-items: center;
+   justify-content: center; /* adjusted */
+   width: 100%;
+   row-gap: 20px;
+   padding-bottom:20px;
    /*grid-column-gap: 10px;
    grid-row-gap: 10px;*/
  }
@@ -700,16 +705,23 @@
      grid-template-columns: repeat(1, 200px);
    }
  }
-
+.keynote_talk {
+   grid-area: speaker_talk;
+   justify-self: center;
+   align-self: center;
+   width: 250px;
+   font-size:1.1em;
+ }
 
  /*note the plural*/
  .speakers_grid {
    display: grid;
    display: inline-grid;
    grid-template-columns: auto;
-   /*grid-column-gap: 10px;
-   grid-row-gap: 10px;*/
- }
+   align-items: center;
+   justify-content: center; /* adjusted */
+   width: 100%;
+}
 
  @media screen and (max-width: 400px) {
    .speakers_grid {
@@ -776,6 +788,7 @@
    grid-area: speaker_talk;
    justify-self: center;
    align-self: center;
+   width: 300px;
    font-size:1.1em;
  }
 

diff --git a/images/summit/dcofer-2022-2-small.jpg b/images/summit/dcofer-2022-2-small.jpg
diff --git a/images/summit/ning2.png b/images/summit/ning2.png
diff --git a/index.html b/index.html
@@ -26,17 +26,17 @@ <h4>
     <ul>
       <li>
         <strong>
-          31 May 2024: Welcome UNSW, Bronze sponsor of the seL4 Summit 2024
+          12 Jun 2024: Keynotes for seL4 summit 2024 announced
         </strong>
       </li>
       <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 style="margin-top:0.2em;list-style-type:none">

diff --git a/news/2024.html b/news/2024.html
@@ -30,6 +30,26 @@
 </div>
 -->
 
+<!----------------------------------------------------------->
+<div class="news-item tag-link" id="summit-2024-keynotes">
+  <a href="#summit-2024-keynotes"><span class="tag-span"># </span></a> 12 June 2024: Keynotes for seL4 summit 2024 announced
+</div>
+<div>
+  <div class="row" style="margin-left:0px; margin-right:0px">
+    <p>
+      We are pleased to announce that the two keynotes for the <a href="../Foundation/Summit/2024">seL4 summit 2024</a> will be <strong><a href="https://www.linkedin.com/in/darren-cofer-07824a5/">Darren Cofer</a></strong> from <strong><a href="https://www.collinsaerospace.com/">Collins Aerospace</a></strong> and <strong><a href="https://www.linkedin.com/in/quning/">Ning Qu</a></strong> from <strong><a href="https://www.nio.com/">NIO</a></strong>. Darren will talk about <a href="../Foundation/Summit/2024/abstracts2024.html#a-inspecta">Industrial Scale Proof Engineering for Critical Trustworthy Applications (INSPECTA)</a> and Ning about <a href="../Foundation/Summit/2024/abstracts2024.html#a-software-defined">seL4 in Software-Defined Vehicles: Vision, Roadmap, and Impact at NIO</a>.
+    </p>
+    <p>
+      <img src="../images/summit/dcofer-2022-2-small.jpg" style="width: 120px; float: right" alt="Darren Cofer" />
+      <strong>Darren Cofer</strong> is a Principal Fellow at Collins Aerospace. He earned his PhD in Electrical and Computer Engineering from The University of Texas at Austin.  His area of expertise is developing and applying advanced analysis methods and tools for verification and certification of high-integrity systems. His background includes work with formal methods for system and software analysis, the design of real-time embedded systems for safety-critical applications, and the development of nuclear propulsion systems in the U.S. Navy. Dr. Cofer has served as principal investigator on many government-sponsored research programs, developing and using formal methods for verification of safety and security properties.  He served on RTCA committee SC-205 developing new certification guidance for airborne software (DO-178C) and was one of the developers of the Formal Methods Supplement (DO-333). He is currently a member of SAE committee G-34 developing certification guidance for the use of machine learning technologies onboard aircraft.
+    </p>
+    <p>
+      <img src="../images/summit/ning2.png" style="width: 120px; float: right" alt="Ning Qu" />
+      <strong>Ning Qu</strong> is a seasoned technical leader with extensive experience in operating systems, high-performance runtime frameworks, and hardware-software co-design. Currently Ning is Sr. Director of the SkyOS team at NIO, he is leading the development of SkyOS, a suite of platform software (hypervisor, operating systems, and middleware) for Software Defined Vehicles, showcased at NIO IN 2023. Before NIO, Ning managed Waymo's ML Runtime team, significantly contributing to the Jaguar EV launch. At Baidu, he directed the Apollo OS team, developing Cyber RT and leading Baidu's fully driverless launch in 2020. Ning holds a PhD from Peking University and has conducted research at CMU.
+    </p>
+  </div>
+</div>
+
 <!----------------------------------------------------------->
 <div class="news-item tag-link" id="sponsor24-unsw">
   <a href="#sponsor24-unsw"><span class="tag-span"># </span></a> 31 May 2024: Welcome UNSW, Bronze sponsor of the seL4 Summit 2024