Symposium: ModelEd, TestEd, TrustEd

When: Oct. 18, 2017, 9:00-18:00

Where: Amphitheater, Vrijhof

Who: Arend Rensink

Ed Brinksma

Ed Brinksma studied mathematics in Groningen and got his PhD in Twente in 1988. He became full professor at the faculty of Computer Science in 1991, was Scientific Director of the Embedded Systems Institute (2005-2008) and Rector Magnificus of the University of Twente (2009-2016). He made important scientific contributions in the field of formal methods, most notably in modeling, testing and analysis of distributed reactive systems.

Festschrift Symposium

Ed will celebrate his 60th birthday on 16 September 2017. Some of Ed's friends, former students and collaborators, have ccontributed to a Festschrift that will be publiced as LNCS volume 10050. This Festschrift will be presented at a Symposium with invited talks that will take place on October 18 2017 at the University of Twente. Everyone is cordially invited to participate in this Symposium.

Symposium website: https://www.utwente.nl/en/brinksma-symposium/