Hi,
As announced during the class, a mid-term exam is scheduled Monday October the 21st, from 5 pm to 6.15 pm, room F022.
This mid-term will address the part of the course dedicated to programming language semantics (operational, structural, axiomatic).
Previous mid-term subjects are available on Moodle (the one of October 2023 being the most representative).
Allowed documents are 3 double-faced sheets of A4 paper.
Do not hesitate if you have further questions regarding this exam ...
Have a nice end of week,
Laurent Mounier.