Seminários realizados às quintas-feiras, das 14h às 15h30, na sala 241 do bloco A.
Edição anterior: segundo semestre de 2008
|
|
Palestrante | Título |
| 12/03 | Marcelo Finger | Problemas em Aberto em Lógica Computacional e em Lógica Probabilística |
| 19/03 | CANCELADO | |
| 26/03 | William Daniel Colen de Moura Silva | CoGrOO - Um sistema de análise gramatical para a língua portuguesa |
| 2/04 | Flavio Soares Correa da Silva | "A Lição Final": o que a vida e obra de Randy Pausch podem contribuir para nosso dia a dia como pesquisadores |
| 16/04 | Martin | |
| 23/04 | Eduardo Menezes de Morais | O Algoritmo de Dubois |
| 30/04 | Renata Wassermann | Revisão de Crenças em Lógica de Horn e Outros Fragmentos |
| 7/05 | Leliane Nunes Barros | Value Iteration to solve Factored MDP-IPs |
| 14/05 | Carlos Eduardo Atencio Torres | Aprendizagem de Ontologias |
| 21/05 | BREAK | BREAK |
| 28/05 | Paulo de Tarso Guerra Oliveira | Revisão de Especificações Formais Inconsistentes: Conceitos e Caminhos |
| 04/06 | Seminário conjunto com a POLI | |
| 11/06 | FERIADO | CANCELADO |
| 18/06 | Simone Hanazumi | Teste de Programas Java auxiliados por ferramentas de análise e verificacão |
| 25/06 | Franz Baader | TITLE TO BE ANNOUNCED |