Doctoral Seminar "Advances in Probabilistic Model Checking"

Prof. Dr. Christel Baier
SWS: (0/2/0), in English

Changed proceedings due to COVID-19 outbreak

Due to the recent outbreak of the COVID-19 virus, the university has decided not to carry out any events with mandatory attendance at least until 4^th May 2020 (as of 19^th March). Lectures and exercises from the start of the Semester (in the week from 6th April) up until the start of teaching events with mandatory attendance are instead provided with online alternatives via OPAL.

Please inform yourself about current developments and decisions of the university at https://tu-dresden.de/corona and https://tu-dresden.de/studium/im-studium/coronavirus/

Please revisit this site and https://tu-dresden.de/corona from time to time to stay up to date.

Description

This seminar is mainly intended for students enrolled in a doctoral program in theoretical computer science.

Prerequisites

The seminar addresses students that have profound knowledge in theoretical computer science and logics.

Registration

Please enroll via OPAL.

Creditability

Doktor Informatik

• FAK-INF-FF: Fakultative Fächer

Contact