Calendário de Eventos
|
Defesa de Dissertação de Mestrado: Anna Carolina Carvalho Moreira de Oliveira
Terça-feira, 27 Março 2018, 10:00 - 12:00
Dissertação de Mestrado
"Model Checking Dolev Yao Multi-Agent Epistemic Logic"
Anna Carolina Carvalho Moreira de Oliveira
Data: 27 de março de 2018
Horário: 10:00 h
Local: H-310A
Banca Examinadora:
Prof. Mario Roberto Folhadela Benevides - PESC/COPPE/UFRJ (Presidente)
Prof. Valmir Carneiro Barbosa - PESC/COPPE/UFRJ
Prof. Bruno Lopes Vieira - UFF