From 2bb00e22e6dab1076eb0bbe41a6bad9181311202 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fatih=20Yaz=C4=B1c=C4=B1?= <fatih.yazici@epfl.ch> Date: Tue, 8 Nov 2022 21:54:02 +0100 Subject: [PATCH] update to schedule --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 79a4828..d79f0ec 100644 --- a/README.md +++ b/README.md @@ -69,8 +69,10 @@ My goal is for lectures to be self-contained. The following books contain overla | | Thu | 27.10.2022 | 08:15 | INM202 | Exercises | [Exercises on Operational Semantics](exercises/ex5/) | | 7 | Mon | 31.10.2022 | 13:15 | INM200 | Lecture 8 | [Type Rules, Progress, Preservation](https://tube.switch.ch/videos/bdb5c902), [Type Inference](https://tube.switch.ch/videos/14facfc5) | | | Wed | 02.11.2022 | 08:15 | INM202 | Labs | [Parser Lab](labs/lab03/), [Type Checking Lab](labs/lab04/) and its [Introduction Video](https://tube.switch.ch/videos/jd7nfWURbC) | -| | Wed | 03.11.2022 | 08:15 | INM202 | Exercises | [Exercises on Types](exercises/ex6/) | +| | Thu | 03.11.2022 | 08:15 | INM202 | Exercises | [Exercises on Types](exercises/ex6/) | | 8 | Mon | 07.11.2022 | 13:15 | INM200 | Lecture 9 | Finish [Type Inference](https://tube.switch.ch/videos/14facfc5). [Compilation to Web Assembly](https://tube.switch.ch/videos/fd21d42e) | -| 9 | Mon | 14.11.2022 | **13:00** | [INM 200](https://plan.epfl.ch/?room==INM%20200) + [SG0211](https://plan.epfl.ch/?room==SG%200211) | **MIDTERM** | Materials of lectures 1-9 | +| | Wed | 09.11.2022 | 08:15 | INM202 | Labs | [Type Checking Lab](labs/lab04/) | +| | Thu | 10.11.2022 | 08:15 | INM202 | Exercises | | +| 9 | Mon | 14.11.2022 | **13:00** | [INM 200](https://plan.epfl.ch/?room==INM%20200) + [SG0211](https://plan.epfl.ch/?room==SG%200211) | **MIDTERM** | Materials of lectures 1-9. [Seating Plan](https://moodle.epfl.ch/mod/resource/view.php?id=1227039) | | | Wed | 16.11.2022 | 08:15 | INM202 | Labs | | | Thu | 17.11.2022 | 08:15 | INM202 | Midterm Solution Presentation | | -- GitLab