diff --git a/PLANNING.md b/PLANNING.md index 26ff991..374a8f2 100644 --- a/PLANNING.md +++ b/PLANNING.md @@ -14,13 +14,13 @@ _Academic first semester 2024-2025_ - :hammer: Lab 1: Thursday 12/09/2024, 10h15-12h15. Room E001 (Samuel Humeau & Emma Nardino) +- :rocket: Additional ressources (mainly in english) + + * A nice YT video on [structural induction](https://www.youtube.com/watch?v=2o3EzvfgTiQ) by F. Pereira. + * Fernando Pereira's other videos on operational semantics : [video1](https://www.youtube.com/watch?v=bOzbRhXvtlY), [video2](https://www.youtube.com/watch?v=aiBKOuM5iEA). + # Week 2: - :book: Course: Monday 16/09/2024, 13h30-15h30. Amphi SVT (Bio) (Yannick Zakowski) * Semantics: [transparents](course/capmif_cours_03_semantics.pdf). - -- :rocket: Additional ressources (mainly in english) - - * A nice YT video on [structural induction](https://www.youtube.com/watch?v=2o3EzvfgTiQ) by F. Pereira. - * Fernando Pereira's other videos on operational semantics : [video1](https://www.youtube.com/watch?v=bOzbRhXvtlY), [video2](https://www.youtube.com/watch?v=aiBKOuM5iEA).