Seminar: 2.01.490 Seminar: Logical Methods in AI Verification and Explanation - Details
You are not logged into Stud.IP.
Course name |
Seminar: 2.01.490 Seminar: Logical Methods in AI Verification and Explanation |
Subtitle |
inf490 |
Course number |
2.01.490 |
Semester
|
SoSe2023 |
Current number of participants
|
2 |
maximum number of participants
|
12 |
Home institute |
Department of Computing Science
|
Courses type |
Seminar in category Teaching |
Type/Form |
S |
Lehrsprache |
deutsch |
n. V. Bitte wenden Sie sich an die Lehrenden.
-
Campusmanagementsystem Stud.IP
The course is part of admission "Beschränkte Teilnehmendenanzahl: Spezialthemen der Software Verifikation".
The following rules apply for the admission:
-
A defined number of seats will be assigned to these courses.
The seats will be assigned in order of enrolment.