====== Intelligent and Adaptive Systems (IAS) ======
**1st year** (students enrolled in 2020-2021)
**Compulsory Exam** (30 ECTS):
* [[didattica:magistrale:frs:ay_2021:main|Fundamentals of Reactive Systems]] (6 ECTS) - 1st Semester
* [[didattica:magistrale:dcc:ay_2021:main|Distributed Calculus and Coordination]] (6 ECTS) - 1st Semester
* [[didattica:magistrale:pas:ay_2021:main|Performance Analysis and Simulation)]] (6 ECTS) - 2nd Semester
* [[didattica:magistrale:svl:ay_2021:main|Systems Verification Lab ]] (6 ECTS) - 2nd Semester
* [[didattica:magistrale:lcp:ay_2021:main|Logic and Constraint Programming]] (6 ECTS) - 2nd Semester
**2nd year** (students enrolled in 2019-2020)
**Compulsory Exams** (12 ECTS):
* [[didattica:magistrale:ml:ay_2021:main|Machine Learning]] (6 ECTS) - 1st Semester
* [[didattica:magistrale:masl:ay_2021:main|Multiagent Systems Lab]] (6 ECTS) - 1st Semester
* [[didattica:magistrale:pas:ay_2021:main|Performance Analysis and Simulation)]] (6 ECTS) - 2nd Semester