Calendário de Eventos
|
Defesa de Dissertação de Mestrado: Luiz Cláudio Frederico Fernandez
Quinta-feira, 12 Abril 2018, 13:00 - 15:00
Dissertação de Mestrado
"A Tableaux Method for Dolev-Yao Multi-Agent Epistemic Logic"
Luiz Cláudio Frederico Fernandez
Data: 12 de abril de 2018
Horário: 13:00 h
Local: H-316
Banca Examinadora:
Prof. Mario Roberto Folhadela Benevides - PESC/COPPE/UFRJ (Presidente)
Prof. Gerson Zaverucha - PESC/COPPE/UFRJ
Profa. Sheila Regina Murgel Veloso - UERJ