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
Die Seminarplätze für das Modul INF-25-Ma-FTK-Sem „Seminar Theoretical Computer Science and Symbolic Artificial Intelligence“ werden zentral zugewiesen. Hierbei werden Ihre Präferenzen berücksichtigt. Wenn Sie unser Seminar belegen möchten, füllen Sie bitte bis zum 18. Oktober die folgende Umfrage aus und geben Ihre Präferenz entsprechend an: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/322922.
Möchten Sie unser Seminar für das Modul CMS-SEM „Literature Studies in Computational Modeling“ belegen, senden Sie bitte bis zum 18. Oktober eine E-Mail an studies_alg@mailbox.tu-dresden.de.
Voraussetzungen
Es werden fundierte Kenntnisse in Theoretischer Informatik und Logik vorausgesetzt.
Termine
Alle Studierenden, die fristgerecht die obige Umfrage für das Modul INF-25-Ma-FTK-Sem ausgefüllt haben, werden nach Auswertung aller Anmeldungen per E-Mail informiert, welches Seminar ihnen zugeteilt wurde.
Allen Teilnehmer:innen unseres Seminars wird nach Ablauf der Anmeldefristen mitgeteilt, wann und wo die Auftaktveranstaltung stattfindet. Im Anschluss 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: Seminararbeit (10 Seiten) inkl. Präsentation (30 Minuten)
Kontakt
Bei organisatorischen Fragen senden Sie eine E-Mail an studies_alg@mailbox.tu-dresden.de.
