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