Profilprojekt Anwendungsforschung
Aus International Center for Computational Logic
Profilprojekt Anwendungsforschung
Lehrveranstaltung mit Umfang 8P/PB im WS 2025
The introductory project (Profilprojekt) 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 specialisation and independent research work.
Registration
Registration via Opal is required until October 20.
Exam and Creditability
Master Informatik (PO 2010)
- INF-PM-FPA: exam according to module description
Diplom Informatik (PO 2010)
- INF-PM-FPA: exam according to module description
Contact
In case of organisational questions, please contact Sascha Klüppelholz.
