From f488adc39b98214d49e1e587ac4220d9993c537c Mon Sep 17 00:00:00 2001
From: shumeau <samuelhumeau@yahoo.fr>
Date: Mon, 16 Dec 2024 13:42:10 +0100
Subject: [PATCH] planning update

---
 PLANNING.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/PLANNING.md b/PLANNING.md
index bd3d97f..f667013 100644
--- a/PLANNING.md
+++ b/PLANNING.md
@@ -141,3 +141,7 @@ _Academic first semester 2024-2025_
   * Verified Compilation [introduction slides](course/cap_cours11_verified.pdf).
   * Course on black board
   * Additional resources: [Xavier Leroy's class at Collège de France](https://www.college-de-france.fr/en/agenda/lecture/mechanized-semantics-when-the-machine-reasons-about-its-languages)
+
+# Week 13:
+
+- :hammer: Choice Lab (3/3): Monday 16/12/2024, 13h30-15h30. Room E001 (Samuel Humeau & Emma Nardino)