Profilprojekt „Forschungsprojekt Formale Methoden“
From International Center for Computational Logic
Profilprojekt „Forschungsprojekt Formale Methoden“
Lecture series
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.
