Skip to content
Snippets Groups Projects
Commit b7948610 authored by Viktor Kuncak's avatar Viktor Kuncak
Browse files

Friday

parent aa23a5f6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
README.md
+ 1
− 1
View file @ b7948610
...@@ -96,7 +96,7 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your ...@@ -96,7 +96,7 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your
| | | | 17:15 | GRA330 | | | | | | | 17:15 | GRA330 | | |
| | Fri | 22.11.2024 | 13:15 | INR219 | Q&A session | | | | 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) | | 11 | Thu | 28.11.2024 | 15:15 | **GRA330**, **AAC114** | **Midterm**, until 18:00 | [Seat Plan](seatplan.pdf) |
| | Fri | 29.11.2024 | 13:15 | INR219 | | | | | 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) | | 12 | Thu | 05.12.2024 | 15:15 | GRA330 | Lecture 13 | [SMT Solvers](lectures/lec12-smt.pdf), [Termination](lectures/lec12-termination.pdf) |
| | | | 17:15 | GRA330 | | | | | | | 17:15 | GRA330 | | |
| | Fri | 06.12.2024 | 13:15 | INR219 | | | | | Fri | 06.12.2024 | 13:15 | INR219 | | |
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment