Software Ecosystem Security lab, Utrecht University, Utrecht Monday 13 May Academisch Genootschap Eindhoven, Eindhoven Wednesday May 15 – Friday May 17, 2023 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 …