In this one-semester course, each faculty member presents an introductory overview of their individual area of expertise. The main goal of this course is to inspire interdisciplinary research and inform the students about the research areas pursued inside LogiCS.
Introductory overview about research areas inside Logic in Computer Science.
written examination
Nicht erforderlich