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	3
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

Tutor

• Cedric Richter

Rooms and times

n. V. Bitte wenden Sie sich an die Lehrenden. Raum A02 3-334

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.