Seminar "Selected Topics in Logic and Verification"

Dr. rer. nat. Florian Funke
SWS: (0/2/0), in English

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

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 programs Computational Logic and Master Computational Modeling and Simulation 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 July and September. 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 30th September 2022.

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