|
Data
|
Palestrante |
Título |
Material disponível |
| 22/03 |
Marcelo Finger |
Paradoxos Temporais e Possíveis Aplicações ao Replanejamento |
|
| 29/03 |
Thiago Carvalho de Sousa |
Revisão de Crenças para Especificação Formal em Z |
|
| 12/04 |
Tiago Santos Lima (UFPR) |
Planejamento e Satisfatibilidade |
|
19/04 |
Ana Cristina Vieira de Melo |
Um estudo sobre nomes ativos em agentes móveis |
|
26/04 |
Flavio Correa da Silva |
AMBIENTES RESPONSIVOS |
|
03/05 |
Guilherme Rabello |
Aproximações de Lógica Modal |
|
10/05 |
Karina Valdivia Delgado |
Diagnóstico de Programas Baseado em Modelos |
|
17/05 |
Fábio Natanael Kepler |
Etiquetador Morfosintático Baseado em Cadeias de Markov deTamanho Variável |
|
31/05 |
Andreia Cristina Machion |
Planejamento Instrucional |
|
01/06 |
André Carlos Ponce de Leon |
Computação Bioinspirada^{2}: Utilização de Computação
Biológica em Problemas de Biologia Computacional |
|
07/06 |
Luciana Brasil Rebelo |
Critérios para Classificação de Ontologias |
|
14/06 |
Solange de Oliveira Rezende (USP-SC) |
|
|
21/06 |
Felipe Werndl Trevisan |
Robótica Cognitiva |
|
28/06 |
Igor Ribeiro Sucupira |
|
|
|
|
|
|