Seminar “Selected Topics in Logic and Verification”
Seminar “Selected Topics in Logic and Verification”
Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2025
Lecturer
SWS
- 0/2/0
Modules
This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science).
This seminar is held in English.
Registration
Registration via Opal is required until April 14.
Prerequisites
The seminar addresses students that have profound knowledge in theoretical computer science and logics.
Dates
All participants will be notified about the initital meeting by e-mail. Each participant is then assigned a topic and a supervisor.
Presentations will be held between June and August. The specific dates will be announced later. The seminar paper (Seminararbeit) is due by August 16.
Exam and Creditability
Bachelor Informatik
- INF-B-510: Seminararbeit inkl. Präsentation (a 10-page seminar paper and a 30-minute presentation)
- INF-B-520: Seminararbeit inkl. Präsentation (a 10-page seminar paper and a 30-minute presentation)
Master Informatik
- INF-AQUA: Seminararbeit inkl. Präsentation (a 10-page seminar paper and a 30-minute presentation)
Diplom Informatik
- INF-D-940: Seminararbeit inkl. Präsentation (a 10-page seminar paper and a 30-minute presentation)
Master Medieninformatik
- INF-AQUA: Seminararbeit inkl. Präsentation (a 10-page seminar paper and a 30-minute presentation)
Master Computational Logic
- MCL-PS: Seminararbeit inkl. Präsentation (a 10-page seminar paper and a 30-minute presentation)
Master Computational Modeling and Simulation
- CMS-SEM: Seminararbeit inkl. Präsentation (a 10-page seminar paper and a 30-minute presentation)
- CMS-LM-MOC: Seminararbeit inkl. Präsentation (a 10-page seminar paper and a 30-minute presentation)
- CMS-LM-ADV: Seminararbeit inkl. Präsentation (a 10-page seminar paper and a 30-minute presentation)
Contact
In case of organisational questions, please contact Sascha Klüppelholz.
