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