"Uma metodologia para projeto de sistemas embarcados com reconfiguração em tempo de execução baseada em modelos formais de computação" (Doutorado). Candidato: Ricardo de Souza Bonna. Orientador: professor Denis Silva Loubach. Dia 7 de julho de 2021, às 9 horas, integralmente online.