diff --git a/README.md b/README.md
index 34a545e16856df67fb8f86938a14d59bb5f90589..f760fd6b9b0b65ce694ef2230815c16f55f6f675 100644
--- a/README.md
+++ b/README.md
@@ -66,9 +66,11 @@ The syllabus is organized in four main segments of five lectures each.
 ### Semantic Proofs of Type Soundness and Logical Relations
 
 * (18/10/2023) Semantic interpretation of types: unary logical relations (GS).
-* (25/10/2023) Mutable state and the value restriction (GS).
+  + ([slides](slides/scherer-01.pdf))
+* (25/10/2023) Binary logical relations and parametricity (GS).
+  + (same slides)
 * (01/11/2023) *holiday*
-* (08/11/2023) Binary logical relations and parametricity (GS).
+* (08/11/2023) Mutable state and the value restriction (GS).
 * (15/11/2023) Syntactic type soundness for System F in Coq (GS).
 * (22/11/2023) Semantic type soundness for System F
                with mutable state in Coq/Iris (JHJ).