Seminar Selected Topics in Logic and Verification
Prof. Dr. Christel Baier
SWS: (0/2/0), in English
Description
This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science).
Registration
Enrolling via OPAL is required until April 14th, 2024.
Prerequisites
The seminar addresses students that have profound knowledge in theoretical computer science and logics.
Schedule
All participants will be notified about the initital meeting by e-mail. Presentations will be held between June and August. The specific dates will be announced later.
The the seminar paper (Seminararbeit) is due by the August 16th, 2024.
Exam and Creditability
Master Informatik
- INF-AQUA: Allgemeine Qualifikation zur Informatik (seminar paper including a presentation)
Master Medieninformatik
- INF-AQUA: Allgemeine Qualifikation zur Informatik (seminar paper including a presentation)
Master Computational Logic
- MCL-PS: Presentation Skills (seminar paper including a presentation)
Diplom Informatik
- INF-D-940: Berufsspezifische Schlüsselqualifikation (seminar paper including a presentation)
Master Computational Modeling and Simulation
- CMS-SEM: Literature Review in Computational Modeling (seminar paper including a presentation)
- CMS-LM-MOC: Models of Computation (seminar paper including a presentation)
- CMS-LM-ADV: Advanced Logical Modeling (seminar paper including a presentation)
Contact
Dr. Sascha Klüppelholz
Send encrypted email via the SecureMail portal (for TUD external users only).