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
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
Gerhard Lakemeyer, Computer Science
Thursday, July 12, 2018, 4 to 5:30pm
How to Win Games that Never End?
Christof Löding, Computer Science