Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
2.01.803 Verification of Probabilistic Programs -
Veranstaltungstermin | Raum
- Dienstag, 7.4.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 10.4.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 14.4.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 17.4.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 21.4.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 24.4.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 28.4.2026 14:00 - 16:00 | V03 0-M017
- Dienstag, 5.5.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 8.5.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 12.5.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 15.5.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 19.5.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 22.5.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 26.5.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 29.5.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 2.6.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 5.6.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 9.6.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 12.6.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 16.6.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 19.6.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 23.6.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 26.6.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 30.6.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 3.7.2026 14:00 - 16:00 | A03 2-209
- Dienstag, 7.7.2026 14:00 - 16:00 | V03 0-M017
- Freitag, 10.7.2026 14:00 - 16:00 | A03 2-209
Veranstaltungsort
- 2 Termine pro Woche. Gerne an den gleichen Tagen wie inf400 (Logik) mit einer Lücke zwischen beiden Veranstaltungen. Raumwünsche Falls möglich A03 209 oder in der Nähe Angaben zur Zugangsberechtigung (Fristen, Termine, Anzahl, Warteliste) Sonstiges
Beschreibung
Probabilistic programs are ordinary programs with the ability to sample from probability distributions. This ability often admits simpler or more efficient (at least on average) solutions than deterministic programs. At the same time, writing correct probabilistic programs is challenging, because they cannot be tested reliably. In this course, we will thus study techniques to formally reason about the correctness of probabilistic programs.
Lehrende
SWS
4
Lehrsprache
deutsch und englisch