From 2dfbc2d5d225431f61cf5bb530ddd3854ef4886c Mon Sep 17 00:00:00 2001 From: Jacques-Henri Jourdan <jacques-henri.jourdan@cnrs.fr> Date: Fri, 13 Sep 2024 09:57:12 +0200 Subject: [PATCH] =?UTF-8?q?=C3=89change=20de=20deux=20s=C3=A9ances.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 13306a4..cfde07f 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) -- GitLab