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 ECTS to be selected among the following ones):
- Compilers (6 ECTS) - 1st Semester
- Queueing Networks: Simulation (6 ECTS) - 2nd Semester
- Distributed Systems (6 ECTS) - 2nd Semester
2nd year (students enrolled in 2017-2018 - former Software Modelling and Verification (SMV) curriculum)
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
