Edit lecture series information: Profilprojekt „Forschungsprojekt Formale Methoden“

Du bist aus dem folgenden Grund nicht berechtigt, diese Seite bearbeiten:

Diese Aktion ist auf Benutzer beschränkt, die der Gruppe „Benutzer“ angehören.

Course description

Title:	Profilprojekt „Forschungsprojekt Formale Methoden“ Name of the lecture series, in the language of the lecture
Description:	Das Profilprojekt richtet sich an Studierende der Studiengänge Master und Diplom Informatik. Teilnehmer:innen befassen sich mit ausgewählten Themen aus den Bereichen Model Checking, Automatentheorie und Logik. Dabei werden Kenntnisse für die forschungsorientierte Spezialisierung und selbstständige wissenschaftliche Arbeit erworben. Description of topics and goals.

Zusammenfassung: