Ringvorlesung: How to Win Games that Never End?
Donnerstag, 27.06.2019, 16.30 Uhr
Ort : RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E2, B-IT, Raum 5053.2
Vortragender: Christof Löding
Teil der UnRAVeL-Ringvorlesung „Unsicherheit und Wahrscheinlichkeit in Algorithmen, Verifikation und Logik“