Abschnittsübersicht

  • December 10
    • Wolfgang Schreiner: Continuation of talk on denotational semantics.
    • Discussion on presentation topics.