UnRAVeL Survey Lecture “Uncertainty and Randomness in Algorithms, Verification, and Logic”


Summer Semester 2019

on Thursdays 4:00 pm – 5:30 pm
Department of Computer Science, Ahornstr. 55
E2, B-IT-room 5053.2


The backbone of the training programme is a set of introductory lectures on the topics of „randomness“ and „uncertainty“ in the four research thrusts. The main aim is to provide the doctoral researchers a broad overview of the topics and application areas of UnRAVeL.

These lectures will be organised as the Ringvorlesung: „ Uncertainty and Randomness in Algorithms, Verification and Logic“ and form a compulsory, binding element of this Research Training Group. 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 UnRAVeL to master and doctoral researchers outside the Research Training Group.

Here you can find an overview of all lecture dates:

Datum Veranstaltung
04/04/2019 Survey Lecture: Programs That Every Now and Then Flip Coins
11/04/2019 Survey Lecture: Termination and Complexity Analysis for Programs
18/04/2019 Survey Lecture: Expressing and Verifying Probabilistic Hyperproperties
02/05/2019 Survey Lecture: Logics of Dependence and Independence
09/05/2019 Survey Lecture: Uncertainty in Databases
16/05/2019 Survey Lecture: Static and Dynamic Network Flows under Uncertainties
23/05/2019 Survey Lecture: Automatic Train Protection and Control Systems
06/06/2019 Survey Lecture: Competitive Analysis of Online Algorithms
27/06/2019 Survey Lecture: How to Win Games that Never End?
04/07/2019 Survey Lecture: Applications of Privacy-Preserving Protocols