Thursday 25 January 2018 16:00 - 18:00
Formal ceremony for the appointment of prof.dr. Marieke Huisman as professor Formal Methods and Tools at the faculty Electrical Engineering, Mathematics and Computer Science of the University of Twente.
Her lecture is titled 'Software Reliability for everyone'.