From fcd3096bafe2daf6b92050f21f77d832a78d94f1 Mon Sep 17 00:00:00 2001
From: Simon Guilloud <simon.guilloud@epfl.ch>
Date: Tue, 10 Dec 2024 13:06:01 +0000
Subject: [PATCH] Update README.md

---
 README.md | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 48ed319..78f48be 100644
--- a/README.md
+++ b/README.md
@@ -102,9 +102,10 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your
 |      | Fri | 06.12.2024 | 13:15 | INR219 | Guest Lecture, Labs | The first part: lecture by Samuel Chassot on [Verified Hash Table](https://link.springer.com/chapter/10.1007/978-3-031-63498-7_18) and related case studies in Stainless. Second part: labs |
 | 13   | Thu | 12.12.2024 | 15:15 | GRA330 | | |
 |      |     |            | 17:15 | GRA330 | | |
-|      | Fri | 13.12.2024 | 13:15 | INR219 | | Sébastien KOBLER, Jacopo MORETTI<br> Léo LARIGAUDERIE, Daniele PUSCEDDU, Christoph WECH <br> Victor GARVALOV, Tsung-Han LIU, Alexander MÜLLER |
-| 14   | Thu | 19.12.2024 | 15:15 | GRA330 | | |
-|      |     |            | 17:15 | GRA330 | | |
-|      | Fri | 20.12.2024 | 13:15 | INR219 | | |
+|      | Fri | 13.12.2024 | 13:15 | INR219 | Presentations | Sébastien KOBLER, Jacopo MORETTI<br> Léo LARIGAUDERIE, Daniele PUSCEDDU, Christoph WECH <br> Victor GARVALOV, Tsung-Han LIU, Alexander MÜLLER |
+| 14   | Thu | 19.12.2024 | 15:15 | GRA330 | Presentations |Inés ARAUJO CAÑAS	Roman PACCAUD	Sergi SOLER ARRUFAT
+<br> Jonathan ARNOULT	Dobrin BASHEV	Fabrice EGGER <br> Alessio DEMATTIA	Heikel JEBALI	Kevin SOLMSSEN <br> Sidonie BOUTHORS	Mai-Linh CORDONNIER |
+|      |     |            | 17:15 | GRA330 | | Bodong JIA	Matthew MEYER	Amirkhon ALIMOV <br> |
+|      | Fri | 20.12.2024 | 13:15 | INR219 | Presentations | |
 
 **Midterm exam:** Thursday, 28 November, 15:00-18:00
-- 
GitLab