Calendário de Eventos
|
Defesa de Dissertação de Mestrado: Bruno França Monteiro
Terça-feira, 30 Março 2010, 10:00 - 12:00
Dissertação de Mestrado
"SATyrus2: Compilando Especificações de Raciocínio Lógico"
Bruno França Monteiro
Data: 30 de março de 2010
Horário: 10:00 h
Local: H-318B (Seminário)
Banca Examinadora:
Prof. Felipe Maia Gralvão França - PESC/COPPE/UFRJ (Presidente)
Prof. Adilson Elias Xavier - PESC/COPPE/UFRJ
Profa. Priscila Machado Vieira Lima - UFRRJ
Prof. Wilson Rosa de Oliveira Junior - UFRPE
"SATyrus2: Compilando Especificações de Raciocínio Lógico"
Bruno França Monteiro
Data: 30 de março de 2010
Horário: 10:00 h
Local: H-318B (Seminário)
Banca Examinadora:
Prof. Felipe Maia Gralvão França - PESC/COPPE/UFRJ (Presidente)
Prof. Adilson Elias Xavier - PESC/COPPE/UFRJ
Profa. Priscila Machado Vieira Lima - UFRRJ
Prof. Wilson Rosa de Oliveira Junior - UFRPE