update summit proofcraft presenter (#404)

Signed-off-by: Birgit Brecknell <b@brck.nl>
seL4 · Sep 24, 2024 · bc1b983 · bc1b983
1 parent 4c09496
commit bc1b983
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_includes/abstracts/2024/sel4-verification.html b/_includes/abstracts/2024/sel4-verification.html
@@ -10,7 +10,7 @@ <h4 class="summit-abstract-title">
     Talk
 </p>
 <p class="summit-abstract-author">
-    Presented by June Andronick, Rafal Kolanski, Gerwin Klein, Corey Lewis, Michael McInerney, <span class="summit-abstract-affiliation">Proofcraft</span>
+    Presented by Michael McInerney, <span class="summit-abstract-affiliation">Proofcraft</span>
 </p>
 <p>
     In this talk we will give an overview of Proofcraft's recent milestones, as well as ongoing and future plans for the formal verification of seL4 to support more platforms, architectures, configurations, and features.