Wintersemester 2024/25
Vertiefende Veranstaltungen
- Advanced Mechanized Reasoning in Coq
- Formale Verifikation
- Kommunikation und parallele Prozesse
- Oberseminar
- Seminar Advanced Competitive Programming
- Seminar Curry-Howard-Korrespondenz
- Seminar Themen der Kategorientheorie (TopCat)