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