Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
Semester:
Summer term
2025
2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co. -
Event date(s) | room
- Montag, 7.4.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 8.4.2025 14:00 - 16:00 | A02 3-334
- Montag, 14.4.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 15.4.2025 14:00 - 16:00 | A02 3-334
- Dienstag, 22.4.2025 14:00 - 16:00 | A02 3-334
- Montag, 28.4.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 29.4.2025 14:00 - 16:00 | A02 3-334
- Montag, 5.5.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 6.5.2025 14:00 - 16:00 | A02 3-334
- Montag, 12.5.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 13.5.2025 14:00 - 16:00 | A02 3-334
- Montag, 19.5.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 20.5.2025 14:00 - 16:00 | A02 3-334
- Montag, 26.5.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 27.5.2025 14:00 - 16:00 | A02 3-334
- Montag, 2.6.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 3.6.2025 14:00 - 16:00 | A02 3-334
- Dienstag, 10.6.2025 14:00 - 16:00 | A02 3-334
- Montag, 16.6.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 17.6.2025 14:00 - 16:00 | A02 3-334
- Montag, 23.6.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 24.6.2025 14:00 - 16:00 | A02 3-334
- Montag, 30.6.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 1.7.2025 14:00 - 16:00 | A02 3-334
- Montag, 7.7.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 8.7.2025 14:00 - 16:00 | A02 3-334
Location
- A02 3-334
Description
Formale Methoden sind mathematisch wohldefinierte Sprachen zur Modellierung von Systemen. Die Studierenden bekommen einen Überblick über verschiedene formale Methoden und ihren Einsatz bei der Modellierung und Analyse von Informatik-Systemen.
Lecturers
SWS
4
Lehrsprache
deutsch und englisch