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