Theoretical Computer Science

Lectures 2023

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)
  • Lecturer(s): Moser, Georg Co-author(s): Avanzini, Martin; Schaper, Michael: Automated Expected Value Analysis of Recursive Programs.
    PLDI 2023 - Programming Language Design and Implementation, Orlando, 2023-06-20. (Web link)

Guest Lectures

Guest Lecture
  • Lecturer(s): Moser, Georg: Automated Expected Cost Analysis of Splaying et al.
    Carnegie Mellon University, Pittsburgh, 2023-06-08. (Web link)