Theoretical Computer Science

Lectures 2020

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)
  • Lecturer(s): Moser, Georg Co-author(s): Avanzini, Martin; Schaper, Michael: A modular cost analysis for probabilistic programs.
    2020 ACM SIGPLAN International conference on Systems, Programming, Languages, and Applications: Software for Humanity (virtual), Chicago, 2020-11-21. (Web link)

Lecture at Summer-/Winterschool
  • Lecturer(s): Moser, Georg: Static Complexity Analysis.
    Caleidoscope: Complexity as a Kaleidoscope. Research school in computational complexity, Paris, 2020-06-15. (Web link)