Local: Sala Multiuso CIC 

Horário: 14h

Palestrante: Rafael Diniz (doutorando)

Orientadora: Profa. Mylène Farias

Título: Quality Assessment of Volumetric Video

Resumo: An overview of the ongoing work on volumetric video quality assessment will be presented and the current status of my doctorate work will be explained in details.

Horário: 14h30

Palestrante: Profa. Dra. Thaynara Arielly de Lima (UFG)

Título: Estruturas Algébricas em PVS

Resumo:Nesta palestra serão apresentados resultados do projeto em andamento que trata da formalização de estruturas algébricas no assistente de provas PVS.  Além de uma visão global sobre os teoremas em Álgebra Abstrata formalmente  verificados até o momento (em sua maioria, definições e resultados em Teoria de Anéis),  pretende-se destacar os progressos na formalização da versão do conhecido  Teorema Chinês do Resto para Anéis. Além das formalizações, pretende-se explicar  brevemente as estruturas algébricas envolvidas; desta maneira, não é necessário conhecimento prévio sobre Teoria de Anéis.

Profa Célia Ghedini Ralha (Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.)

Coordenadora dos Seminários de Pós-Graduação em Informática 2019-2