| Name | Course Type | Name | Credits | ID |
|---|---|---|---|---|
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 474525 |
| () Übung | Introduction to Model Checking | 0 | 474235 | |
| Algorithmic Foundations of Datascience | () Vorlesung | Algorithmic Foundations of Datascience | 471532 | |
| () Übung | Algorithmic Foundations of Datascience | 0 | 471513 |