Ringvorlesung 2018

12.04.2018
Ringvorlesung 2018 Urheberrecht: © UnRAVeL

Die erste Ringvorlesung, die sich mit den Themengebieten Unsicherheit und Wahrscheinlichkeit in Algorithmen, Verification und Logik beschäftigt. Ein Bereich wird von elf verschiedenen Forschungsschwerpunkten her durchleuchtet - ein echtes Highlight im Sommersemester 2018!