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

 

Die Ringvorlesung beschäftigt sich mit dem Themengebieten Unsicherheit und Wahrscheinlichkeit in Algorithmen, Verification und Logik beschäftigt, von elf verschiedenen Sichtpunkten durchleuchtet.

Wo?	Department of Computer Science Ahornstraße 55 E2, B-IT-Raum 5053.2
Wann?	immer donnerstags von 16 bis 17:30 Uhr
Info	Die Veranstaltungsreihe ist für alle Interessierte geöffnet und soll die Möglichkeit bieten, mit Expertinnen und Experten in die Diskussion zu kommen.

 

Donnerstag, 7. Juni 2018, 16 bis 17:30 Uhr

Provenance Analysis for Logic and Games and/or Logics of Imperfect Information

Erich Grädel, Computer Science & Mathematics

 

Donnerstag, 21. Juni 2018, 16 bis 17:30 Uhr

Uncertainty and Randomness in Railway Operations Research

Nils Nießen, Railway Engineering

 

Donnerstag, 28. Juni 2018, 16 bis 17:30 Uhr

Probabilistic Hybrid Systems

Erika Ábrahám, Computer Science

 

Donnerstag, 5. Juli 2018, 16 bis 17:30 Uhr

Probabilistic Robotics

Gerhard Lakemeyer, Computer Science

 

Donnerstag, 12. Juli 2018, 16 bis 17:30 Uhr

How to Win Games that Never End?

Christof Löding, Computer Science