„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.

Profilprojekt “Research Project Formal Methods”

Lehrveranstaltung mit SWS 0/0/8 (Vorlesung/Übung/Praktikum) in SS 2025

Dozent

Christel Baier

Umfang (SWS)

0/0/8

Module

Leistungskontrolle

Hausarbeit
Referat

Vorlesungsreihe

Profilprojekt „Forschungsprojekt Formale Methoden“

Information

The introductory project is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialization and independent research work.

This course is in German and English.

Registration

Registration via Opal is required until 14 April. (We're still setting up the Opal course, so please come back later!)

Exam and Creditability

Exam according to module description (see sidebar).

Contact

Please contact Sascha Klüppelholz for organisational questions.