Compare revisions

Simon Guilloud · Simon Guilloud · e5e0c37f · e5e0c37f · e5e0c37f · e5e0c37f
--- a/README.md
+++ b/README.md
@@ -95,7 +95,7 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your
 | 10   | Thu | 21.11.2024 | 15:15 | GRA330 | Lecture 12 | [Widening](lectures/lec12-widening.pdf), [Loops](lectures/lec12-loop.pdf) |
 |      |     |            | 17:15 | GRA330 | | |
 |      | Fri | 22.11.2024 | 13:15 | INR219 | Q&A session | |
-| 11   | Thu | 28.11.2024 | 15:15 | **GRA330**, **AAC114** | **Midterm**, until 18:00 | |
+| 11   | Thu | 28.11.2024 | 15:15 | **GRA330**, **AAC114** | **Midterm**, until 18:00 | [Seat Plan](seatplan.pdf) |
 |      | Fri | 29.11.2024 | 13:15 | INR219 | | |
 | 12   | Thu | 05.12.2024 | 15:15 | GRA330 | Lecture 13 | [SMT Solvers](lectures/lec12-smt.pdf),  [Termination](lectures/lec12-termination.pdf) |
 |      |     |            | 17:15 | GRA330 | | |

--- a/exercises/Exercises4/Exercises4.pdf
+++ b/exercises/Exercises4/Exercises4.pdf
--- a/exercises/Exercises4/Exercises4_solutions.pdf
+++ b/exercises/Exercises4/Exercises4_solutions.pdf
--- a/exercises/Exercises5/Exercises5.pdf
+++ b/exercises/Exercises5/Exercises5.pdf
--- a/exercises/Exercises5/Exercises5_solutions.pdf
+++ b/exercises/Exercises5/Exercises5_solutions.pdf
--- a/seatplan.pdf
+++ b/seatplan.pdf
No results found