No âmbito das INESC-ID Distinguished Lecture Series, irá realizar-se, no dia 23 de outubro, pelas 10h30, no Anfiteatro PA3, uma palestra pelo Prof. Kurt Mehlhorn (Max-Planck-Institute for Informatics), com o tema “Certifying Computations: Algorithmics meets Software Engineering”.
As INESC-ID Distinguished Lecture Series tiveram início em 2012, tendo como objetivo promover seminários de alta qualidade nas áreas centrais do laboratório, convidando cientistas, académicos e profissionais a partilharem a sua visão e apresentar o seu trabalho inovador, incentivando a interação e promovendo a discussão e troca de ideias entre os oradores convidados e os investigadores do laboratório.
