Hi,
As told during the lectures, a mid-term exam (1h15 long) will take place on October the 23rd at 11.30 am. This mid-term will concern all the topics seen with Frédéric Lang regarding dynamic semantics, i.e., natural operational semantics, structural operational semantics and axiomatic semantics.
Authorized documents are 3 double-face A4 paper sheets.
Do not hesitate if you have some questions regarding this assignment ...
Have a nice day,
Laurent Mounier.