Ceremonial Presentation of an Honorary Doctorate in Informatics to Professor Thomas A. Henzinger
On behalf of the Rector, the Scientific Board of Masaryk University, the Dean and the Scientific Board of the Faculty of Informatics,
you are cordially invited to the presentation of an honorary doctorate in Informatics to Prof. Thomas A. Henzinger, president of The Institute of Science and Technology, a renowned scientist and researcher in the field of formal methods for the verification of computer systems.
The ceremony will be held on 14 October 2015 at 10 AM in the Masaryk University auditorium at the Faculty of Law (Veveří Street 70, Brno).
Please come at least 15 minutes prior to the beginning of the ceremony.