Profilprojekt Grundlagenforschung
From International Center for Computational Logic
Profilprojekt Grundlagenforschung
Course with 8P/PB in 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
We offer two Profilprojekte for the module INF-PM-FPG. The two courses have a unified registration via Opal. If you have questions about the differences between the courses, please contact Sascha Klüppelholz.
Master Informatik (PO 2010)
- INF-PM-FPG as Profilprojekt „Forschungsprojekt Formale Methoden“: exam according to module description
- INF-PM-FPG as Profilprojekt „Grundlagenforschung in der Informatik“: exam according to module description
Diplom Informatik (PO 2010)
- INF-PM-FPG as Profilprojekt „Forschungsprojekt Formale Methoden“: exam according to module description
- INF-PM-FPG as Profilprojekt „Grundlagenforschung in der Informatik“: exam according to module description
Contact
In case of organisational questions, please contact Sascha Klüppelholz.
