Yearly

Semester A

Semester B

  • Advanced course: Program analysis and verification.
    Code: 0368-4479.
    Time: Semester B, Monday, 13:00–16:00.
    Place: TBD.

  • Seminar: Advanced Seminar on Programming Languages and Program Analysis.
    Code: TBD.
    Topic: Symbolic Execution.
    Time: Semester B, Sunday, 9:00–11:00.
    Place: TBD.