UnRAVeL-Ringvorlesung „Unsicherheit und Wahrscheinlichkeit in Algorithmen, Verifikation und Logik“

 

Sommersemester 2018

immer donnerstags 4:00 pm – 5:30 pm
Department of Computer Science, Ahornstr. 55
E2, B-IT-room 5053.2

 

Die erste Ringvorlesung, die sich mit dem Themengebieten Unsicherheit und Wahrscheinlichkeit in Algorithmen, Verification und Logik beschäftigt. Von 11 verschiedenen Sichtpunkten wird der Bereich durchleuchtet - ein echtes Highlight im Sommersemester 2018!

Alle Professorinnen und Professoren des Graduiertenkollegs berichten anschaulich über aktuelle Forschungsthemen in Bezug auf UnRAVeL.

Die Veranstaltungsreihe ist für alle Interessierte geöffnet und soll die Möglichkeit bieten mit Experten in Diskussion zu kommen.

Hier alle Termine im Überblick:

Datum Veranstaltung
12.04.2018 Ringvorlesung: Competitive Analysis of Online Algorithms
19.04.2018 Ringvorlesung: Computing on Encrypted Data
26.04.2018 Ringvorlesung: Dynamic Network Flows
03.05.2018 Ringvorlesung: Logic and Languages
17.05.2018 Ringvorlesung: Programs That Every Now and Then Flip Coins
07.06.2018 Ringvorlesung: Provenance Analysis for Logic and Games and/or Logics of Imperfect Information
14.06.2018 Ringvorlesung: Termination and Complexity Analysis for Programs
21.06.2018 Ringvorlesung: Uncertainty and Randomness in Railway Operations Research
28.06.2018 Ringvorlesung: Probabilistic Hybrid Systems
05.07.2018 Ringvorlesung: Probabilistic Robotics
12.07.2018 Ringvorlesung: How to Win Games that Never End?