Bi-Weekly Talk: Automated Run-Time Analysis of Probabilistic Programs
Mittwoch, 07.02.2018, 10.15 Uhr
Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9u10
Vortragender: Marcel Hark
Herr Hark stellt sein aktuelles Forschungsthema im Bereich "automatische Echtzeitanalyse von probalistischen Programmen" dar.