Advanced Topics in Formal Semantics (Seminar)

Seminar in Theoretical CS, Winter 2021/22


  • 01.06.2021: we are online

Dates & Deadlines

TBATopic preferences due
TBADetailed outline due
TBASeminar report due
TBAPresentation slides due

Introduction and Assignment of Topics

  • Slides of introduction


The term semantics refers to the rigorous mathematical study of the meaning and behaviour of software systems. Several methods have been established to provide this meaning, depending on both the kind of system to be modelled and the purpose of the analysis. Having a clear and comprehensive understanding of what it means to execute a program supports the development, implementation, analysis and verification of software systems.

The goal of this seminar is to provide an overview of semantics-based techniques and their applications in various fields, ranging from program verification and synthesis over probabilistic systems to robotic application.


(The annotations “B” and “M” respectively refer to topics on Bachelor and Master level.)

Analysing Heap-Manipulating Programs

Program Synthesis

Analysing Probabilistic Systems

Robotic Applications


Basic knowledge in the following areas is expected:

  • Formal languages and automata theory
  • Mathematical logic
  • Probability Theory

Previous knowledge in semantics of programming languages, probabilistic programming and model checking is helpful but not mandatory


Registration to the seminar is handled via SuPra. Later registrations are not possible.

Additional Material


Thomas Noll <noll at>