From ebe1322b3ed00b90cef51d7aa256f85ec85a937e Mon Sep 17 00:00:00 2001
From: Birgit Brecknell <b@brck.nl>
Date: Mon, 23 Sep 2024 08:25:47 +1000
Subject: [PATCH] update summit proofcraft presenter

Signed-off-by: Birgit Brecknell <b@brck.nl>
---
 _includes/abstracts/2024/sel4-verification.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_includes/abstracts/2024/sel4-verification.html b/_includes/abstracts/2024/sel4-verification.html
index a21f8665..10c78436 100644
--- 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.