m1-ENSL/CAP
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix

Browse Source
This commit is contained in:
Yannick 2024-09-16 10:32:47 +02:00
parent 09566e53da
commit 7fd92d113a
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
PLANNING.md
View File

@ -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).