update

zliu41 · zliu41 · commit 3cd4cbaf7cf7 · 2025-10-02T19:42:45.000-07:00
diff --git a/uplc2025/_data/program.yml b/uplc2025/_data/program.yml
@@ -20,7 +20,7 @@ days:
         - name: How to zk-SNARK on Cardano
           time_start: '15:50'
           time_end: '16:30'
-        - name: TBD-Wu
+        - name: TBD-Andrew
           time_start: '16:40'
           time_end: '17:20'
 
@@ -72,7 +72,7 @@ days:
         - name: TBD-Tudor
           time_start: '15:40'
           time_end: '16:20'
-        - name: Cardano High Assurance's Mission
+        - name: TBD-Wu
           time_start: '16:30'
           time_end: '17:10'
 
@@ -121,7 +121,7 @@ days:
           time_end: '17:00'
     - name: 2.55
       talks:
-        - name: TBD-Jacco
+        - name: A Layered Certifying Compiler Architecture
           time_start: '10:50'
           time_end: '11:30'
         - name: TBD-1
diff --git a/uplc2025/_speakers/Andrew.md b/uplc2025/_speakers/Andrew.md
@@ -0,0 +1,5 @@
+---
+name: Andrew Sutherland
+first_name: Andrew
+last_name: Sutherland
+---
diff --git a/uplc2025/_speakers/Stefano.md b/uplc2025/_speakers/Stefano.md
diff --git a/uplc2025/_talks/andrew.md b/uplc2025/_talks/andrew.md
@@ -0,0 +1,7 @@
+---
+name: TBD-Andrew
+speakers:
+  - Andrew Sutherland
+categories:
+  - Talk
+---
diff --git a/uplc2025/_talks/jacco.md b/uplc2025/_talks/jacco.md
@@ -1,5 +1,5 @@
 ---
-name: TBD-Jacco
+name: A Layered Certifying Compiler Architecture
 speakers:
   - Jacco Krijnen
 categories:
diff --git a/uplc2025/_talks/stefano.md b/uplc2025/_talks/stefano.md
