Edit course information: Research Seminar “Formal Methods” (SS2025)

Du bist aus dem folgenden Grund nicht berechtigt, diese Seite bearbeiten:

Diese Aktion ist auf Benutzer beschränkt, die der Gruppe „Benutzer“ angehören.

Course description

Title:	Research Seminar “Formal Methods” Name of the lecture, in the language of the lecture
Research group:	Research groups offering this lecture; use Ctrl+click to select multiple groups
Lecturers:	List of lecturers, separated by semicolon
Tutors:	List of exercise tutors, separated by semicolon
Term:	Semester of this lecture; for winter semesters, the start year is used, e.g., WS 2014 for WS 2014/2015
Lecture series:	List of lecture series this lecture belongs to
Matrix channel:	Matrix channel associated with the course, e.g., `#example:example.org`
Modules:	Associated module ids, separated by commas
SWS:	// SWS for lectures/exercises/practicals
Type of examination:	Klausur mündliche Prüfung Hausarbeit Referat nach Modulbeschreibung Type(s) of examination; could be more than one; documentation of possible values
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. Description of topics and goals.
Literature:	Literature list (free text), use "*" at the start of lines to create bulleted lists

Dates of lectures and exercises

Weitere hinzufügen

Zusammenfassung:

Abbrechen