Seminar „Selected Topics in Logic and Verification“
Seminar „Selected Topics in Logic and Verification“
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) im WS 2026
Dozent
Umfang (SWS)
- 0/2/0
Sprache
- auf Englisch
Module
In this seminar, a selection of research papers from the areas of logic and verification will be discussed. These papers range from classical topics in logic and automata theory to recent research, in particular in formal verification and model checking.
Dieses Seminar richtet sich in erster Linie an Studierende der Studiengänge Master Computer Science und Diplom Informatik.
Anmeldung
Für die Teilnahme ist eine Registrierung via Opal bis zum 19. Oktober erforderlich. Wir verlinken zum Opal-Kurs, sobald dieser eingerichtet ist.
Voraussetzungen
Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.
Termine
Alle fristgerecht in Opal registrierten Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert. In dieser wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugeteilt. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.
Die geforderten Vorträge werden als Blockveranstaltung im Zeitraum Januar–März 2027 stattfinden. Die genauen Termine werden zu einem späteren Zeitpunkt bekanntgegeben.
Die schriftliche Ausarbeitung ist bis zum 28. Februar 2027 einzureichen.
Prüfungsleistung
Master Computer Science (PO 2025)
- INF-25-Ma-FTK-Sem: Komplexe Leistung (40 hours)
Diplom Informatik (PO 2025)
- INF-25-Ma-FTK-Sem: Komplexe Leistung (40 hours)
Als Komplexe Leistung ist eine Präsentation in Form eines Kolloquiums sowie die Ausarbeitung einer Seminararbeit vorgesehen.
Master Computational Modeling and Simulation
- CMS-SEM: Präsentation und Seminararbeit
Kontakt
Bei organisatorischen Fragen wenden Sie sich bitte an Jakob Piribauer.
