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.
This seminar is mainly intended for students enrolled in the Master Computer Science and Diplom Informatik programs.
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. Anschließend wird allen Teilnehmer:innen je ein Thema und ein Betreuer zugewiesen. Danach wird das weitere Vorgehen individuell mit dem Betreuer besprochen.
Die geforderten Vorträge und Fragenrunden werden als Blockveranstaltung im Zeitraum Januar–März 2027 stattfinden. Die genauen Termine werden zu einem späteren Zeitpunkt bekanntgegeben.
Prüfungsleistung
Master Computer Science (PO 2025)
- INF-25-Ma-FTK-Sem: Komplexe Leistung (40 Stunden)
Diplom Informatik (PO 2025)
- INF-25-Ma-FTK-Sem: Komplexe Leistung (40 Stunden)
Als Komplexe Leistung ist ein Tafelvortrag (45 Minuten) sowie eine mündliche Fragenrunde (10 Minuten) vorgesehen.
Master Computational Modeling and Simulation
- CMS-SEM: Tafelvortrag (45 Minuten) und mündliche Fragenrunde (10 Minuten)
Kontakt
Bei organisatorischen Fragen senden Sie eine E-Mail an studies_alg@mailbox.tu-dresden.de.
