Projects and Theses in Computational Logic
From International Center for Computational Logic
Projects and Theses in Computational Logic
Contact
Modules
Examination method
- Term paper
- Seminar presentation
News
- New topics will be presented on Thursday, 05 November 2026 at DS5 (2:50 pm) in room APB 2026.
Topics
As students, you have several opportunities to do projects with us. Here, we collect information about the different modules and some topics of interest to provide you with an overview of what kind of projects you can do with us. Don't hesitate to get in touch with us if you plan to do one of the modules. We can discuss further topics during a consultation.
At the beginning of each semester, we collect new topics and announce them in a seminar-style event. This seminar is an opportunity for you to get to know the new topics and their potential supervisors.
Module Overview
While the actual project duration depends on the specific module, most of them should be completed within one semester.
| Modules | Title | Integrated Assignment | |
|---|---|---|---|
| Bachelor Programme | INF-25-Ba-BaSe | Bachelorseminar | 50h |
| Master Programme | INF-25-Ma-BSem | Belegseminar | 50h |
| INF-25-Ma-GB | Großer Beleg | 180h | |
| INF-25-Ma-AFT | Analyse eines Forschungsthemas | 80h | |
| INF-25-Ma-ERS | Exploration of a Research Subject | 80h | |
| INF-25-Ma-FP | Forschungsprojekt | 200h | |
| CMS Master Programme | CMS-VC-TEA | Team Project | 80h |
