UnRAVeL-Ringvorlesung „Unsicherheit und Wahrscheinlichkeit in Algorithmen, Verifikation und Logik“

 

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

Alle Professorinnen und Professoren des Graduiertenkollegs berichten anschaulich über aktuelle Forschungsthemen in Bezug auf UnRAVeL.

Die Veranstaltungsreihe ist für alle Interessierte geöffnet und soll die Möglichkeit bieten mit Experten in Diskussion zu kommen.

Hier alle Termine im Überblick:

Datum	Veranstaltung
04.04.2019	Ringvorlesung: Programs That Every Now and Then Flip Coins
11.04.2019	Ringvorlesung: Termination and Complexity Analysis for Programs
18.04.2019	Ringvorlesung: Expressing and Verifying Probabilistic Hyperproperties
02.05.2019	Ringvorlesung: Logics of Dependence and Independence
09.05.2019	Ringvorlesung: Uncertainty in Databases
16.05.2019	Ringvorlesung: Static and Dynamic Network Flows under Uncertainties
23.05.2019	Ringvorlesung: Automatic Train Protection and Control Systems
06.06.2019	Ringvorlesung: Competitive Analysis of Online Algorithms
27.06.2019	Ringvorlesung: How to Win Games that Never End?
04.07.2019	Ringvorlesung: Applications of Privacy-Preserving Protocols