Research Seminar “Formal Methods” (SS2025): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Andrea Kühn (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Andrea Kühn (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 33: | Zeile 33: | ||
=== Contact === | === Contact === | ||
In case of organisational questions, please contact [[Sascha Klüppelholz]]. | |||
}} | }} | ||
Version vom 17. März 2025, 16:23 Uhr
Research Seminar “Formal Methods”
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2025
Dozent
Umfang (SWS)
- 0/2/0
Module
Vorlesungsreihe
This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants engage with selected topics from the field of Model Checking.
This course is held in English.
Registration
Registration via Opal is required until April 14.
Prerequisites
The seminar addresses students that have profound knowledge in theoretical computer science and logics. Background knowledge in the areas of formal methods (and model checking in particular) or concurrency theory is recommended.
Dates
All participants will be notified about the initital meeting by e-mail.
Exam and Creditability
- INF-PM-FOR: exam according to module description
Contact
In case of organisational questions, please contact Sascha Klüppelholz.
