| 181224 |
Doctoral & Master Students Seminar |
SE |
2026S |
|
| 184741 |
Program and System Verification |
VU |
2026S |
|
| 192021 |
Project in Computer Science 1 |
PR |
2026S |
|
| 184767 |
Research Seminar LogiCS |
SE |
2026S |
|
| 184766 |
Introduction to Logical Methods in Computer Science |
VO |
2026S |
|
| 192022 |
Project in Computer Science 2 |
PR |
2026S |
|
| 184695 |
Bachelor Thesis |
PR |
2026S |
|
| 192185 |
Seminar in Computer Science (Formal Methods in Systems Engineering) |
SE |
2025W |
|
| 192164 |
Formal Methods in Systems Engineering |
VU |
2025W |
|
| 192184 |
Seminar in Logic (Formal Methods in Systems Engineering) |
SE |
2025W |
|
| 192168 |
Program Analysis |
VU |
2025W |
|
| 184749 |
Semantics of Programming Languages |
VU |
2025S |
|
| 181221 |
Seminar Formal Methods |
SE |
2025S |
|
