Seminar “Selected Topics in Logic and Verification” (0/2/0)
Prof. Dr. Baier
Language: English
Description
This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science).
Dates
To participate, please register using the form below until Sunday, October 16th, 2016.
All registered students will be informed about the first meeting via email.
Prerequisites
The seminar addresses students that have profound knowledge in theoretical computer science and logics.
- For students of the Master or Diplom program Informatik, the material of the course “Formale Systeme” and “Theoretische Informatik und Logik” is required.
- The seminar is intended for students of the Master program Computational Logic in the second year of their studies that have successfully completed at least one of the following courses: “Model Checking” or “Advanced Logics”.
Examination
- a written summary of 5–10 pages
- and a presentation, approximately 30 minutes
Creditability
- Master Informatik
- INF-AQUA: Allgemeine Qualifikation
- Master Medieninformatik
- INF-AQUA: Allgemeine Qualifikation
- Master Computational Logic
- MCL-PCS: Presentation and Communication Skills
- Diplom Informatik
- INF-D-940: Berufsspezifische Schlüsselqualifikation
- Diplom Informatik (DPO 2004)
- INF-04-HS: Hauptseminar
Registration
Registration closed.
Contact
In case of questions or problems please contact Dr. Klüppelholz.
