====== Intelligent and Adaptive Systems (IAS) ======

**1st year** (students enrolled in 2018-2019)
<WRAP center round box 95%>
**Compulsory Exams - Group I** (30 ECTS):
  * [[didattica:magistrale:frs:ay_1819:main|Fundamentals of Reactive Systems]] (6 ECTS) - 1st Semester
  * [[didattica:magistrale:dcc:ay_1819:main|Distributed Calculus and Coordination]] (6 ECTS) - 1st Semester
  * [[didattica:magistrale:ml:ay_1819:main|Machine Learning]] (6 ECTS) - 1st Semester
  * [[didattica:magistrale:svl:ay_1819:main|Systems Verification Lab ]] (6 ECTS) - 2nd Semester 
  * [[didattica:magistrale:lcp:ay_1819:main|Logic and Constraint Programming]] (6 ECTS) - 2nd Semester 
**IAS Selection - Group II** (6 ECTS to be selected among the following ones):
  * [[didattica:magistrale:com:ay_1819:main|Compilers]] (6 ECTS) - 1st Semester
  * [[didattica:magistrale:qns:ay_1819:main|Queueing Networks: Simulation]] (6 ECTS) - 2nd Semester
  * [[didattica:magistrale:ds:ay_1819:main|Distributed Systems]] (6 ECTS) - 2nd Semester

</WRAP>

**2nd year** (students enrolled in 2017-2018 - former Software Modelling and Verification (SMV) curriculum)
<WRAP center round box 95%>
**Compulsory Exams - Group I** (12 ECTS): 
  * [[didattica:magistrale:com:ay_1819:main|Compilers (substitutes Formal Languages and Compilers)]] (6 ECTS) - 1st Semester
  * [[didattica:magistrale:ml:ay_1819:main|Machine Learning (substitutes Big Data Analytics)]] (6 ECTS) - 1st Semester
</WRAP>