4.12 Evaluation and Quality Assurance
- Local evaluation of the local master program according to the local rules and regulations (open house, questionnaires, teaching reports).
- Accreditation of the local master programs according to the local rules and regulations.
- Evaluation of the integrated European Master's Program in Computational Logic by questionnaires (handed out to graduates) and discussion within the Joint Commission (including invited representatives of the students).
- External evaluation of the European Master's Program in Computational Logic by the advisory board.