Seminar “Selected Topics in Logic and Verification”
Seminar “Selected Topics in Logic and Verification”
Course with SWS 0/2/0 (lecture/exercise/practical) in WS 2026
Lecturer
SWS
- 0/2/0
Language
- in English
Modules
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.
Registration
Registration via Opal is required until October 19. We will link to the Opal course once it is set up.
Prerequisites
For the seminar, profound knowledge in theoretical computer science and logics is presumed.
Dates
All participants registered in Opal by the due date will be notified about the initital meeting by e-mail. Each participant will then be assigned a topic and a supervisor. After that, further proceedings are arranged individually between each participant and their supervisor.
The required presentations and question-and-answer sessions will be held en bloc between January and March 2027. The specific dates will be announced later.
Examination
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)
The Komplexe Leistung (complex or multi-part examination) consists of a blackboard presentation (45 minutes) and an oral question-and-answer session (10 minutes).
Master Computational Modeling and Simulation
- CMS-SEM: blackboard presentation (45 minutes) and oral question-and-answer session (10 minutes)
Contact
In case of organizational questions, please send an e-mail to studies_alg@mailbox.tu-dresden.de.
