Oberseminar AISE (AI Systems Engineering): This is the place where the AISE research group meets
- Moderator/in: Christoph Benzmüller
Semester: 2022 Sommersemester
Blockseminar AISE: Automated Theorem Proving and the TPTP
- Moderator/in: Christoph Benzmüller
- Moderator/in: Cornelia Geisler
Semester: 2022 Sommersemester