update

zliu41 · zliu41 · commit b0470c81c0fe · 2025-10-29T14:55:26.000Z
diff --git a/uplc2025/_data/program.yml b/uplc2025/_data/program.yml
@@ -118,7 +118,7 @@ days:
   rooms:
     - name: G.03
       talks:
-        - name: Smart Contract Verification
+        - name: Automating Formal Verification of Smart Contracts
           time_start: '9:30'
           time_end: '10:30'
         - name: Gastronomy UPLC Debugger
diff --git a/uplc2025/_talks/romain.md b/uplc2025/_talks/romain.md
@@ -1,5 +1,5 @@
 ---
-name: Smart Contract Verification
+name: Automating Formal Verification of Smart Contracts
 speakers:
   - Romain Soulat
 categories:
