Zu Semesterbeginn gibt es wieder Neueigkeiten aus der Studienkommission.
Folgende Lehrveranstaltungen werden für ein Semester zu folgenden Studien und Modulen zugeordnet:
Introduction to the Coq proof assistant
Master Logic and Computation - Modul Logic, Mathematics, and Theoretical Computer Science
Master Software Engineering & Internet Computing - Modul Formale Methoden und Theoretische Informatik
Security, Privacy and Explainability in Machine Learning
- Master Logic and Computation - Wahlfach
- Master Software Engineering & Internet Computing - Wahlfach
Practical Applications of Answer-Set Programming
Master Logic and Computation - Modul Knowledge Representation and Artificial Intelligence
Master Software Engineering & Internet Computing - Modul Formale Methoden und Theoretische Informatik
Critical Algorithm Studies
Master Logic and Computation
Modul Fachübergreifende Qualifikationen
Modul Algorithmics and Complexity
Master Visual Computing
Modul Fachübergreifende Qualifikationen
Modul Mustererkennung - Vertiefung
Master Media and Human-Centered Computing
- Modul Emergent Ethical Challenges in Informatics
Master Medizinische Informatik
- Modul Fachübergreifende Qualifikationen
Master Software Engineering & Internet Computing
Modul Fachübergreifende Qualifikationen
Modul Algorithmik
Master Technische Informatik
- Modul Fachübergreifende Qualifikationen