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
2.01.803 Verification of Probabilistic Programs -
Event date(s) | room
- 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
Location
- 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
Description
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.
Lecturers
SWS
4
Lehrsprache
deutsch und englisch