The objective of this programme is to contribute to the understanding of the logical and mathematical foundations of computing science and to realize a two-way transfer between this fundamental research and more applied subdisciplines of computing science.
