Advanced Topics in Formal Semantics (Seminar)

Seminar in Theoretical CS, Winter 2021/22

News

  • 01.06.2021: we are online

Dates & Deadlines

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

Introduction and Assignment of Topics

  • Slides of introduction

Overview

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.

Topics

(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

Prerequisites

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

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

Additional Material

Contact

Thomas Noll <noll at cs.rwth-aachen.de>