slides

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

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/_posts/fl23/2023-11-29-siek.markdown b/_posts/fl23/2023-11-29-siek.markdown
@@ -12,6 +12,11 @@ categories: Siek Fall2023
 * **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/slides/siek-nov-29-2023.pdf b/slides/siek-nov-29-2023.pdf