Informatik Oberseminar: Benjamin Kaminski: Advanced Weakest Precondition Calculi for Probabilistic Programs
Freitag, 8. Februar 2019, 14:00 Uhr
Raum 9222, E3, Ahornstr. 55
Vortragender: Benjamin Kaminski, M.Sc. (Lehrstuhl für Informatik 2)
Herr Kaminski berichtet über seine Doktorarbeit im Bereich "Advanced Weakest Precondition Calculi for Probabilistic Programs".