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 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