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 October 21, 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 January and March 2025. The specific dates will be announced later.

The written summary is due by March 1, 2025.

Exam and Creditability

Master Informatik

• INF-AQUA: Allgemeine Qualifikation zur Informatik (10 page seminar paper including a 30 minute presentation)

Master Medieninformatik

• INF-AQUA: Allgemeine Qualifikation zur Informatik (10 page seminar paper including a 30 minute presentation)

Master Computational Logic

• MCL-PS: Presentation Skills (10 page seminar paper including a 30 minute presentation)

Diplom Informatik

• INF-D-940: Berufsspezifische Schlüsselqualifikation (10 page seminar paper including a 30 minute presentation)

Master Computational Modeling and Simulation

• CMS-SEM: Literature Review in Computational Modelling (10 page seminar paper including a 30 minute presentation)
• CMS-LM-MOC: Models of Computation (10 page seminar paper including a 30 minute presentation)
• CMS-LM-ADV: Advanced Logical Modeling (10 page seminar paper including a 30 minute presentation)

Contact