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.
Presentations will be held between Januar and March 2027. The specific dates will be announced later.
The seminar paper (Seminararbeit) is due by February 28, 2027.
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 30-minute presentation taking the form of a colloquium and a 10-page seminar paper.
Master Computational Modeling and Simulation
- CMS-SEM: 30-minute presentation and 10-page seminar paper
Contact
In case of organizational questions, please contact Jakob Piribauer.
