UnRAVeL Survey Lecture “Uncertainty and Randomness in Algorithms, Verification, and Logic”UnRAVeL
The backbone of the training programme is a set of introductory lectures on randomness and uncertainty in the four research thrusts. The main aim is to provide the doctoral researchers with a broad overview on the topics and application areas of the RTG. These lectures will be organised as the Ringvorlesung: „ Uncertainty and Randomness in Algorithms, Verification and Logic“ and form a compulsory, binding element of this RTG. This course will be a compendium of lectures given by all participating researchers. These lectures are mandatory for all doctoral researchers and will be offered on an annual basis for example during one semester with a frequency of one lecture of about two hours per week. Attendance by other, either doctoral or master, students is allowed and encouraged. The „Ringvorlesung“ also enables to expose the RTG to master and doctoral researchers outside the RTG.