topics for this week

README.md

@@ -97,9 +97,9 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your
 |      | Fri | 22.11.2024 | 13:15 | INR219 | Q&A session | |
 | 11   | Thu | 28.11.2024 | 15:15 | **GRA330**, **AAC114** | **Midterm**, until 18:00 | [Seat Plan](seatplan.pdf). [Partial Solutions](past-exams/exam2024-partsol.pdf) |
 |      | Fri | 29.11.2024 | 13:15 | INR219 | Labs | Work on final course project |
-| 12   | Thu | 05.12.2024 | 15:15 | GRA330 | Lecture 13 | [SMT Solvers](lectures/lec12-smt.pdf),  [Termination](lectures/lec12-termination.pdf) |
-|      |     |            | 17:15 | GRA330 | | |
-|      | Fri | 06.12.2024 | 13:15 | INR219 | | |
+| 12   | Thu | 05.12.2024 | 15:15 | GRA330 | Lecture 13 | [Concurrency](lectures/lec13-concurrency.pdf), [Termination](lectures/lec12-termination.pdf), finish [SMT Solvers](lectures/lec12-smt.pdf) |
+|      |     |            | 17:15 | GRA330 | Labs | |
+|      | 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 | | |