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

TBA

Topics

TBA

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

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 and concurrency theory 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>