From 3f111cee53f6d51dedfa9a8d8b00f2fced897427 Mon Sep 17 00:00:00 2001 From: Simon Guilloud <simon.guilloud@epfl.ch> Date: Tue, 10 Dec 2024 13:01:20 +0000 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f3355ac..bbc04aa 100644 --- a/README.md +++ b/README.md @@ -102,7 +102,7 @@ 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 | | | +| | 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 | | | -- GitLab