Sommersemester 2023
| Type | Course |
|---|---|
| Lecture | Language Technology and Compilers |
| Common Excercises | Tutorial for Language Technology and Compilers |
Wintersemester 2022/2023
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |
| Common Excercises | Programming Paradigms - Exercises |
Sommersemester 2022
| Type | Course |
|---|---|
| Lecture | Advanced Object-Orientation |
| Lecture | Software Engineering Practice |
| Lecture | Theory of Cognition |
| Common Excercises | Advanced Object-Orientation Excercises |
| Laboratory | Theorem prover lab: applications in programming languages |
Wintersemester 2021/2022
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |