diff --git a/README.md b/README.md index 359cef2fd2f95f81bb39be00500981d332a7f134..9c671063cf8eb8825ad0e7c8e1af76702b1bc0bc 100644 --- a/README.md +++ b/README.md @@ -83,6 +83,8 @@ The syllabus is organized in four main segments of five lectures each. * (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) *break* + * **(03/12/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.