From e8e999a2cb24ce09fd29ce4a0da2e8ed337af560 Mon Sep 17 00:00:00 2001
From: Carlos Hurtado <52082645+carlosahs@users.noreply.github.com>
Date: Wed, 8 Oct 2025 22:43:55 -0600
Subject: [PATCH] Docs update AWS Pi-Week Talk Amazon S3 strong consistency
 link

---
 Docs/docs/casestudies.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Docs/docs/casestudies.md b/Docs/docs/casestudies.md
index aca48f201c..294a184f83 100644
--- a/Docs/docs/casestudies.md
+++ b/Docs/docs/casestudies.md
@@ -19,7 +19,7 @@ P was used for creating formal models of all the core distributed protocols invo
 S3's strong consistency and checking that the system model satisfies the desired
 correctness guarantees. Details about P and how it is being used by the S3 team can be
 found in the [AWS Pi-Week Talk](https://pages.awscloud.com/pi-week-2021.html):
-[**Use of Automated Reasoning for S3 Strong Consistency Launch**](https://www.twitch.tv/videos/962963706?t=0h15m15s).
+[**Amazon S3 Strong Consistency**](https://youtu.be/B0yXz6EeCaA?list=PL2yQDdvlhXf8vAnQB10dCPIeWUKdHUgOP).
 
 ### [AWS] Amazon IoT Devices: OTA Protocol