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

planning update

Browse Source
This commit is contained in:
shumeau 2024-12-16 13:42:10 +01:00
parent 316d71c5cc
commit f488adc39b
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
PLANNING.md
View File

@ -141,3 +141,7 @@ _Academic first semester 2024-2025_
* Verified Compilation [introduction slides](course/cap_cours11_verified.pdf). * Verified Compilation [introduction slides](course/cap_cours11_verified.pdf).
* Course on black board * Course on black board
* Additional resources: [Xavier Leroy's class at Collège de France](https://www.college-de-france.fr/en/agenda/lecture/mechanized-semantics-when-the-machine-reasons-about-its-languages) * Additional resources: [Xavier Leroy's class at Collège de France](https://www.college-de-france.fr/en/agenda/lecture/mechanized-semantics-when-the-machine-reasons-about-its-languages)
# Week 13:
- :hammer: Choice Lab (3/3): Monday 16/12/2024, 13h30-15h30. Room E001 (Samuel Humeau & Emma Nardino)