For those who have a basic knowledge of mathematical logic and would like to deepen their knowledge of the subject. In particular, this course will focus on the connection between arithmetic and computation.

In dieser Lehrveranstaltung behandeln wir (als Fortsetzung der LVA "Programmierung") objektorientierte Programmierung in C++.

This course presents the axiomatic (also called algebraic) specification of abstract datatypes using tools such as the specification language CafeOBJ.

This course gives an introduction to the development of software on parallel and distributed computing systems (multiprocessors and computer networks).

This course explores algorithms and data structures using the object oriented language Java, with an accent on a frame of software tools used in real-world applications.

In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...).