Quelltext der Seite Research Seminar “Formal Methods” (SS2025)

{{Vorlesung
|Title=Research Seminar “Formal Methods”
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Language=EN
|Term=SS
|Year=2025
|Lecture series=Research Seminar “Formal Methods”
|Module=INF-PM-FOR
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|Description=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 [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48422027282/ via Opal] is required until 14 April.

=== 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 ===

* {{ModuleLink|INF-PM-FOR}}: exam according to module description

=== Contact ===

Please contact [[Sascha Klüppelholz]] for organisational questions.
}}