diff --git a/PLANNING.md b/PLANNING.md index e7c45f7..cd6e56a 100644 --- a/PLANNING.md +++ b/PLANNING.md @@ -18,3 +18,13 @@ _Academic first semester 2024-2025_ * 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). + +- :book: Course: Thursday 19/09/2024, 10h15-12h15. Amphi B (Yannick Zakowski) + + * Typing: [transparents](course/capmif_cours_04_typing.pdf). \ No newline at end of file diff --git a/course/capmif_cours_03_semantics.pdf b/course/capmif_cours_03_semantics.pdf new file mode 100644 index 0000000..381bd0e Binary files /dev/null and b/course/capmif_cours_03_semantics.pdf differ diff --git a/course/capmif_cours_04_typing.pdf b/course/capmif_cours_04_typing.pdf new file mode 100644 index 0000000..ef43f86 Binary files /dev/null and b/course/capmif_cours_04_typing.pdf differ