This is an old revision of the document!
Intelligent and Adaptive Systems (IAS)
1st year (students enrolled in 2018-2019)
Compulsory Exams - Group I (30 ECTS):
- Fundamentals of Reactive Systems (6 ECTS) - 1st Semester
- Distributed Calculus and Coordination (6 ECTS) - 1st Semester
- Machine Learning (6 ECTS) - 1st Semester
- Systems Verification Lab (6 ECTS) - 2nd Semester
- Logic and Constraint Programming (6 ECTS) - 2nd Semester
IAS Selection - Group II (6 CFU to be selected among the following ones):
- Queuing Networks: Simulation (6 ECTS)
- Distributed Systems (6 ECTS)
- Compilers (6 ECTS) - 1st Semester
2nd year (students enrolled in 2017-2018)
Compulsory Exams - Group I (12 ECTS):
- Compilers (substitutes Formal Languages and Compilers (6 ECTS) - 1st Semester
- Machine Learning (substitutes Big Data Analytics) (6 ECTS) - 1st Semester
