Research Seminar "Formal Methods"

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). Participants engage with selected topics from the field of Model Checking.

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. Background knowledge in the areas of formal methods (and model checking in particular) or concurrency theory is recommended.

Schedule

All participants will be notified about the initital meeting by e-mail.

Exam and Creditability

Master Informatik

• INF-PM-FOR: Profil Grundlagenforschung in der Informatik (exam according to module description)

Diplom Informatik

• INF-PM-FOR: Profil Grundlagenforschung in der Informatik (exam according to module description)

Contact