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, 3. Mai 2018, 16 bis 17:30 Uhr

Logic and Learning

Martin Grohe, Computer Science

 

Donnerstag, 17. Mai 2018, 16 bis 17:30 Uhr

Programs That Every Now and Then Flip Coins

Joost-Pieter Katoen, Computer Science

 

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, 14. Juni 2018, 16 bis 17:30 Uhr

Termination and Complexity Analysis for Programs

Jürgen Giesl, Computer Science

 

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