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
Information

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