Currently browsing

Course: Formal Methods

Eindhoven University of Technology, Eindhoven June 11 – 15, 2018 Update 2018/06/14: the slide sets for Anton Wijs and Muhammad Osama’s Tuesday afternoon course part, and for all of Marijn Heule’s and Michel Reniers’s course components have been added. IPA organises Advanced Courses on each of its major research fields: Algorithmics and Complexity, …