Calendário de Eventos

Flat View
Ver por ano
Vista mensal
Ver por mês
Weekly View
Ver por semana
Daily View
Ver Hoje
Search
Pesquisar
Download como arquivo ICAL
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

Voltar

Topo