Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname	Seminar: 2.01.490 Seminar: Logical Methods in AI Verification and Explanation
Untertitel	inf490
Veranstaltungsnummer	2.01.490
Semester	SoSe2023
Aktuelle Anzahl der Teilnehmenden	3
erwartete Teilnehmendenanzahl	12
Heimat-Einrichtung	Department für Informatik
Veranstaltungstyp	Seminar in der Kategorie Lehre
Art/Form	S
Lehrsprache	deutsch

Lehrende

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

Campusmanagementsystem Stud.IP
- Informatik - Master-Studiengang
  - Theoretische Informatik
    - inf490 - Aktuelle Themen aus dem Gebiet "Formale Methoden" I
      - Vorlesung oder Seminar

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".

Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung: