Seminar "Selected Topics in Logic and Verification"

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 the Master or Diplom programs Informatik (computer science).

Registration

Please enroll via OPAL.

Prerequisites

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

• For students of the Master or Diplom program Informatik, the material of the course “Formale Systeme” and “Theoretische Informatik und Logik” is required.
• The seminar is intended for students of the Master program Computational Logic in the second year of their studies that have successfully completed at least one of the following courses: “Model Checking” or “Advanced Logics”.

Examination

• a written summary of 5–10 pages
• and a presentation, approximately 30 minutes

Creditability

Master Informatik

• INF-AQUA: Allgemeine Qualifikation

Master Medieninformatik

• INF-AQUA: Allgemeine Qualifikation

Master Computational Logic

• MCL-PS: Presentation Skills

Diplom Informatik

• INF-D-940: Berufsspezifische Schlüsselqualifikation

Diplom Informatik (DPO 2004)

• INF-04-HS: Hauptseminar

Contact