Ringvorlesung: Programs That Every Now and Then Flip Coins

Donnerstag, 17.05.2018, 16.00 Uhr

Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E2, B-IT, Raum 5053.2

 

Vortragender: Joost-Pieter Katoen

 

Teil der UnRAVeL-Ringvorlesung „Unsicherheit und Wahrscheinlichkeit in Algorithmen, Verifikation und Logik“