recording for nov. 29

wonks · Nov 29, 2023 · 4111d0d · 4111d0d
1 parent 12a9804
commit 4111d0d
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 6 deletions.
diff --git a/_posts/fl23/2023-11-29-siek.markdown b/_posts/fl23/2023-11-29-siek.markdown
@@ -6,17 +6,19 @@ date:    2023-11-29 11:15:00
 categories: Siek Fall2023
 ---
 
+## Recording and Slides
+
+<iframe width="640" height="320" src="https://www.youtube.com/embed/f8WpBngZehA" frameborder="0" allowfullscreen></iframe>
+
++ [**Slides (in PDF)**](http://wonks.github.io/slides/siek-nov-29-2023.pdf)
+
+
 ## Time and Location
 
 * **Date:** Wednesday, November 29
 * **Time:** 11:15 AM-12:15 PM
 * **Location:** Luddy Hall 1104 (BLIF-1104)
 
-## Recording and Slides
-
-+ **Recording:** TBA
-+ [**Slides (in PDF)**](http://wonks.github.io/slides/siek-nov-29-2023.pdf)
-
 ## Abstract
 
 The logical relations technique is widely used to prove properties of programming languages,

diff --git a/index.html b/index.html
@@ -236,7 +236,7 @@ <h2>Upcoming Events</h2>
 
   <h2>Past Events</h2>
 
-  <iframe width="640" height="320" src="https://www.youtube.com/embed/XNgE8kBfSz8" frameborder="0" allowfullscreen></iframe>
+  <iframe width="640" height="320" src="https://www.youtube.com/embed/f8WpBngZehA" frameborder="0" allowfullscreen></iframe>
 
   <ul id="recent-talk-list">
     {% for post in paginator.posts %}