diff --git a/README.md b/README.md
index 13306a407499a085320b99c8cf44de88755e22d0..cfde07f8b8d835d565d0424a565ddc20160fcf0d 100644
--- a/README.md
+++ b/README.md
@@ -78,15 +78,15 @@ The syllabus is organized in four main segments of five lectures each.
   * (Same slides).
 * (05/11/2024) Binary logical relations and parametricity (GS).
   * (Same slides).
-* (12/11/2024) (Interlude.) Introduction to programming in Rust (JHJ)
-  * ([slides](slides/jhjourdan-01.pdf)).
+* (12/11/2024) Semantic type soundness for System F with mutable state in Coq/Iris (JHJ).
+  * ([slides](slides/jhjourdan-00.pdf), [Coq/Iris development](coq/logic_rel.tar.gz))
 
 * **(26/11/2024) mid-term exam**, in the usual room and at the usual time,
   **from 12:45 to 15:30**, without a break.
   The duration of the exam is 2h45.
 
-* (10/12/2024) Semantic type soundness for System F with mutable state in Coq/Iris (JHJ).
-  * ([slides](slides/jhjourdan-00.pdf), [Coq/Iris development](coq/logic_rel.tar.gz))
+* (10/12/2024) (Interlude.) Introduction to programming in Rust (JHJ)
+  * ([slides](slides/jhjourdan-01.pdf)).
 
 ### [Typed Programming](overview/dagand.md)