Model-Ed, Test-Ed, Trust-Ed

A Festschrift Symposium on the occasion of the 60th birthday of Ed Brinksma

Amphitheatre Vrijhof, University of Twente,
Enschede (The Netherlands),
18 October 2017

Program


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 contributed to a Festschrift that will be published as LNCS volume 10050. This Festschrift will be presented at a Symposium with invited talks that will take place on October 18 at the University of Twente. Everyone is cordially invited to participate in this Symposium (information on how to register is found here).


Sponsored by