Starting from academic year 2020/21, the course "Formal Methods" is split into two consecutive modules:
Module I:  "Automated Reasoning" [6CFU]
Module II: "Formal Verification" [6CFU]
which are borrowed respectively as single courses
* Automated Reasoning [6CFU]
* Formal Verification [6CFU]
from the degree course in Artificial Intelligence Systems.
The first module/course is a prerequisite for the second.

As such, the first module/course "Automated Reasoning" will start at the beginning of the semester and end in the middle of the semester, whereas the second module/course "Formal Verification" will start in the middle of the semester and terminate at the end of the semester.

!!! STUDENTS ARE SUPPOSED TO REGISTER TO THE MOODLE PAGE OF THE COURSE !!!