325ª Defesa de Dissertação de Mestrado - Uma Formalização da Teoria Nominal em Coq - Fabricio Sanches Paranhos

Local: Sala Zoom

Data do Evento : 10 de Agosto 2022 às 14:00

325-mestrado

325ª Defesa de Dissertação de Mestrado

Uma Formalização da Teoria Nominal em Coq

Aluno: Fabricio Sanches Paranhos

Data: 10/08/2022

Horário: 14h

Local: Sala no Zoom, clique aqui.

Membros da banca:

Prof. Dr. Daniel Lima Ventura (INF/UFG - presidente da banca)

Prof. Dr. Bruno Lopes Vieira (IC/UFF)

Profa. Dra. Daniele Nantes Sobrinho (Dep. of Computing/ICL & MAT/UnB)