Seminar "Selected Topics in Logic and Verification"

Dr. Sascha Klüppelholz, Prof. Christel Baier
SWS: (0/2/0), in English

Changed proceedings due to COVID-19 outbreak

Due to the continued presence of the COVID-19 virus, restricted on-site operations still apply. Therefore, parts of all events are made available as online alternatives via OPAL up to the start of the lessons as pure face-to-face events.

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/

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

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

Proceedings

All participants will be notified about the initital meeting. This meeting will take the form of a video conference.

Presentations will be held between January and March. Concrete dates and proceedings will be arranged depending on the current developments of the corona crisis. The same holds for meetings with the tutor.

The written summary will be due at the 31th March 2021.

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

Master Computational Modeling and Simulation

• CMS-SEM: Literature Review in Computational Modelling
• CMS-LM-MOC: Models of Computation
• CMS-LM-ADV: Advanced Logical Modeling

Contact