Utrecht University, Utrecht Monday January 27 – Thursday January 30, 2020 and Centrum Wiskunde & Informatica (CWI), Amsterdam Friday January 31, 2020 IPA organises Advanced Courses on each of its major research fields: Algorithmics and Complexity, Formal Methods and Software Technology. Each of these Advanced Courses intends to give an overview of …