[ 2024 ] Andres complete slides

scottish-pl-institute · Aug 2, 2024 · a50504e · a50504e
1 parent da2b1e1
commit a50504e
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/2024-strathclyde/assets/slides/andres-1.pdf b/2024-strathclyde/assets/slides/andres-1.pdf
diff --git a/2024-strathclyde/assets/slides/andres.pdf b/2024-strathclyde/assets/slides/andres.pdf
diff --git a/2024-strathclyde/index.md b/2024-strathclyde/index.md
@@ -351,7 +351,7 @@ The specialised courses are offered as two tracks running in parallel.
 **Protocol Verification**<img class="avatar" src="assets/andres_goens.png" />
 : **Lecturer:** [Andrés Goens](https://goens.org/)
 
-  **Slides:** [Tuesday (still with some typos)](assets/slides/andres-1.pdf)
+  **Slides:** [Combined](assets/slides/andres.pdf)
 : <details open>
     <summary>Abstract</summary>
     Protocols are central to the functioning of many crucial systems. From