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.
