Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 7da2a8b7 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

README: change the mid-term exam date to December 3.

parent dbfa4c47
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
README.md
+ 2
− 2
View file @ 7da2a8b7
...@@ -83,7 +83,7 @@ The syllabus is organized in four main segments of five lectures each. ...@@ -83,7 +83,7 @@ The syllabus is organized in four main segments of five lectures each.
* (19/11/2024) Semantic type soundness for System F with mutable state in Coq/Iris (JHJ). * (19/11/2024) Semantic type soundness for System F with mutable state in Coq/Iris (JHJ).
* ([slides](slides/jhjourdan-00.pdf), [Coq/Iris development](coq/logic_rel.tar.gz)) * ([slides](slides/jhjourdan-00.pdf), [Coq/Iris development](coq/logic_rel.tar.gz))
* **(26/11/2024) mid-term exam**, in the usual room and at the usual time, * **(03/12/2024) mid-term exam**, in the usual room and at the usual time,
**from 12:45 to 15:30**, without a break. **from 12:45 to 15:30**, without a break.
The duration of the exam is 2h45. The duration of the exam is 2h45.
...@@ -118,7 +118,7 @@ The syllabus is organized in four main segments of five lectures each. ...@@ -118,7 +118,7 @@ The syllabus is organized in four main segments of five lectures each.
Two written exams and one programming project are used to evaluate the Two written exams and one programming project are used to evaluate the
students. students.
The mid-term exam will take place on **26/11/2024**. The mid-term exam will take place on **03/12/2024**.
The final exam will take place on **11/03/2025**. The final exam will take place on **11/03/2025**.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment