Profilprojekt “Research Project Formal Methods” (SS2025): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Andrea Kühn (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Vorlesung | {{Vorlesung | ||
|Title=Profilprojekt „Forschungsprojekt | |Title=Profilprojekt „Forschungsprojekt Formale Methoden“ | ||
|Research group=Algebraische und logische Grundlagen der Informatik | |Research group=Algebraische und logische Grundlagen der Informatik | ||
|Lecturers=Christel Baier | |Lecturers=Christel Baier | ||
| Zeile 17: | Zeile 17: | ||
=== Registration === | === Registration === | ||
Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48422027279 via Opal] is required until 14 | Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48422027279 via Opal] is required until April 14. | ||
=== Exam and Creditability === | === Exam and Creditability === | ||
'''Master Informatik''' | '''Master Informatik''' | ||
* {{ModuleLink|INF-PM-FPG}}: | * {{ModuleLink|INF-PM-FPG}}: exam according to module description | ||
'''Diplom Informatik''' | '''Diplom Informatik''' | ||
* {{ModuleLink|INF-PM-FPG}}: | * {{ModuleLink|INF-PM-FPG}}: exam according to module description | ||
=== Contact === | === Contact === | ||
Version vom 17. März 2025, 15:27 Uhr
Profilprojekt „Forschungsprojekt Formale Methoden“
Lehrveranstaltung mit SWS 0/0/8 (Vorlesung/Übung/Praktikum) in SS 2025
Dozent
Umfang (SWS)
- 0/0/8
Module
Vorlesungsreihe
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 specialization and independent research work.
This course is offered in German and English.
Registration
Registration via Opal is required until April 14.
Exam and Creditability
Master Informatik
- INF-PM-FPG: exam according to module description
Diplom Informatik
- INF-PM-FPG: exam according to module description
Contact
Please contact Sascha Klüppelholz for organisational questions.
