Seminar: 2.01.490 Logical Methods in AI Verification - Details

General information

Course name	Seminar: 2.01.490 Logical Methods in AI Verification
Subtitle	inf490
Course number	2.01.490
Semester	SoSe2025
Current number of participants	2
expected number of participants	5
Home institute	Department of Computing Science
Courses type	Seminar in category Teaching
Type/Form	S
Lehrsprache	englisch

Lecturers

• Prof. Dr. Heike Wehrheim
• Lukas Panneke

Tutor

• Cedric Richter

Rooms and times

The course times are not decided yet.

Module assignments

• Campusmanagementsystem Stud.IP
  • Computing Science - Master's Programme
    • Theoretische Informatik
      • inf490 - Current Topics in 'Formal Methods' I
        • Course or seminar

Comment/Description

In this seminar, we will take a look at logical methods for AI verification and explanation.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".

Erzeugt durch den Stud.IP-Support
The following rules apply for the admission:

• Admission locked.