diff --git a/_posts/fl23/2023-11-29-siek.markdown b/_posts/fl23/2023-11-29-siek.markdown index 24dbe40..b008832 100644 --- 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 + + + ++ [**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 index cf2c552..8b93993 100644 --- a/index.html +++ b/index.html @@ -236,7 +236,7 @@

Upcoming Events

Past Events

- +