From 0913110cf8e1c3fe1eb833782d88b36936fcf6e3 Mon Sep 17 00:00:00 2001
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Tue, 15 Oct 2024 10:01:50 +0200
Subject: [PATCH] =?UTF-8?q?dates=20des=20prochaines=20s=C3=A9ances:=20?=
=?UTF-8?q?=C3=A9viter=20le=20recouvrement?=
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 01e59a7..4126859 100644
--- a/README.md
+++ b/README.md
@@ -73,14 +73,14 @@ The syllabus is organized in four main segments of five lectures each.
### Semantic Proofs of Type Soundness and Logical Relations
-* (22/10/2024) Unary logical relations for simple types; (weak) normalisation of simply-typed λ-calculus (GS).
+* (29/10/2024) Unary logical relations for simple types; (weak) normalisation of simply-typed λ-calculus (GS).
* ([slides](slides/scherer-01.pdf),
[course notes from Lau Skorstengaard](https://arxiv.org/pdf/1907.11133.pdf).
-* (29/10/2024) Unary logical relations for polymorphic types; (weak) normalisation of System F (GS).
+* (05/11/2024) Unary logical relations for polymorphic types; (weak) normalisation of System F (GS).
* (Same slides).
-* (05/11/2024) Binary logical relations and parametricity (GS).
+* (12/11/2024) Binary logical relations and parametricity (GS).
* (Same slides).
-* (12/11/2024) Semantic type soundness for System F with mutable state in Coq/Iris (JHJ).
+* (19/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,
--
GitLab