UnRAVeL Survey Lecture: Uncertainty and Randomness in Algorithms, Verification, and Logic


The lecture series focuses on uncertainty and probability in algorithms, verification, and logic, examining them from eleven different perspectives.

Where? Department of Computer Science
Ahornstraße 55
E2, B-IT-Room 5053.2
When? Thursdays, 4 to 5:30pm

The event series is open to all interested individuals and offers an opportunity to discuss with experts.


Thursday, June 21, 2018, 4 to 5:30pm

Uncertainty and Randomness in Railway Operations Research

Nils Nießen, Railway Engineering



Thursday, June 28, 2018, 4 to 5:30pm

Probabilistic Hybrid Systems

Erika Ábrahám, Computer Science



Thursday, July 5, 2018, 4 to 5:30pm

Probabilistic Robotics

Gerhard Lakemeyer, Computer Science



Thursday, July 12, 2018, 4 to 5:30pm

How to Win Games that Never End?

Christof Löding, Computer Science



External Links