Seminários realizados às quintas-feiras, das 14h às 15h30, na sala 3 do bloco B.
Edição anterior: segundo semestre de 2011
|
|
Palestrante | Título |
| 15/03 | Professores do LIAMF | Linhas de pesquisa do LIAMF |
| 22/03 | Esdras Lins Bispo Jr. | Avaliação de Alinhamentos de Ontologias de Grande Porte |
| 29/03 | Paulo de Tarso Guerra Oliveira | Mu-calculus, CTL e outros fragmentos |
| 05/04 | Semana Santa | |
| 12/04 | Marcelo Finger | Satisfiability in {\EL} with sets of Probabilistic ABoxes |
| 19/04 | Márcio Moretto Ribeiro | Contração em Lógicas e Fibrilação Segura |
| 26/04 | Fabio Ramos | Machine learning for data fusion and the Big Data question |
| 03/05 | ---- | ---- |
| 10/05 | Renata Wassermann | Introdução ao Uso de Ontologias Formais para Representação de Conhecimento |
| 17/05 | ---- | |
| 24/05 | Mirtha Lina Fernández Venero | Simulação e verificação de protocolos de interação construídos usando a plataforma JamSession |
| 31/05 | Maria Viviane de Menezes | Validação de Tarefas de Planejamento |
| 07/05 | Diogo PatrÃo | |
| 14/05 | ||
| 21/05 | ||
| 28/05 |