Survey Lecture 2018
12/04/2018
First UnRAVeL-Survey Lectures with the topics uncertainty, randomness, algorithms, verification, and logic starts now. 11 Lectures, 11 speaker, 11 different viewpoints to this research area - the highlight of this summer semester 2018!