Events Calendar
|
Defesa de Dissertação de Mestrado: Luiz Cláudio Frederico Fernandez
Thursday, 12 April 2018, 1:00 - 3: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