From f4137c99daff3aa603327fb954739ca5699bee29 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pierre-=C3=89variste=20Dagand?= <dagand@irif.fr> Date: Mon, 10 Mar 2025 15:48:05 +0100 Subject: [PATCH] Clarify time and location --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 1dd39f1..456fbb3 100644 --- a/README.md +++ b/README.md @@ -131,7 +131,9 @@ The syllabus is organized in four main segments of five lectures each. * (18/02/2025) Metatheory of Rust's type system (JHJ) ([slides](slides/jhjourdan-04.pdf)). * (25/02/2025) Exercise session (GS). * (04/03/2025) *break* -* (11/03/2025) **final exam** +* (11/03/2025) **final 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. ## Evaluation of the course -- GitLab