Concurso interno de promoção para professor associado na área disciplinar de Lógica e Computação do Departamento de Matemática do Instituto Superior Técnico