Seminar “Selected Topics in Logic and Verification”

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Seminar “Selected Topics in Logic and Verification”

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2025

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.