diff --git a/README.md b/README.md index 48ed319b51addc666ea46ee7a06679cefd80992b..78f48be00727ae5f844c4bf98623b52d17ec4a3b 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