Concurso interno promoção, professor catedrático, na área disciplinar de Lógica e Computação do Instituto Superior Técnico da Universidade de Lisboa