Stud.IP Uni Oldenburg
University of Oldenburg
03.06.2023 02:53:29
Seminar: 2.01.490 Seminar: Logical Methods in AI Verification and Explanation - Details
You are not logged into Stud.IP.

General information

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

Rooms and times

n. V. Bitte wenden Sie sich an die Lehrenden.

Admission settings

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.