| 184766 |
Introduction to Logical Methods in Computer Science |
VO |
2026S |
|
| 192021 |
Project in Computer Science 1 |
PR |
2026S |
|
| 184767 |
Research Seminar LogiCS |
SE |
2026S |
|
| 184695 |
Bachelor Thesis |
PR |
2026S |
|
| 192033 |
Logic and Reasoning in Computer Science |
VU |
2026S |
|
| 192022 |
Project in Computer Science 2 |
PR |
2026S |
|
| 181224 |
Doctoral & Master Students Seminar |
SE |
2026S |
|
| 192179 |
Introduction to Computer Algebra |
VU |
2025W |
|
| 184774 |
Automated Deduction |
VU |
2025W |
|
| 192164 |
Formal Methods in Systems Engineering |
VU |
2025W |
|
| 192035 |
Project in Computer Science 2 Trends in cloud computing |
PR |
2025S |
|
