On October 23, at 10.30 a.m., will take place a lectured by Prof. Kurt Mehlhorn (Max-Planck-Institute for Informatics), on the topic “Certifying Computations: Algorithmics meets Software Engineering”. This lectured is held within the INESC-ID Distinguished Lecture Series and will take place at amphitheatre PA3.
The INESC-ID Distinguished Lecture Series started in September 2012, aiming to promote a regular sequence of high quality seminars in the core areas of the lab and encouraging the interaction and discussion/exchange of ideas between the invited speakers and lab researchers.