Präsentation: Katrin Dannert

Mittwoch, 14.02.2018, 10.15 Uhr

Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9u10

 

Vortragende: Katrin Dannert

 

Frau Dannert stellt Ihr Forschungsthema im Bereich „Succint Counting and Progress Measures for Infinite Games“ vor.