] Seminarios do LIAMF

Seminários do Grupo de Lógica, Inteligência Artificial e Métodos Formais (LIAMF)

Primeiro semestre de 2013

Seminários realizados às quintas-feiras, das 14h às 15h30, na sala 259 do bloco A.

Edição anterior: segundo semestre de 2012




Data
Palestrante Título
07/03 Fábio Cozman Resultados recentes de sua pesquisa
14/03 ---- ----
21/03 Pierre Andrews Sense Induction in Folksonomies: A Review
28/03 Semana Santa ----
04/04 Ricardo Herrmann Diagramas de Decisão Sentenciais Algébricos
11/04 Não haverá seminário. ----
18/04 Hiroakira Ono Algebraic aspects of cut elimination
25/04 Luis Vianna Approximation in Hybrid Markov Decision Processes
02/05 Semana de Break
09/05 José David Curado Lógicas Não-monotonicas e Lógicas de Descrição
16/05 Fillipe Manoel Xavier Resina Revisão de Crenças em Lógicas de Descrição - Um plug-in para o Protégé
23/05 ----
30/05 ----
06/06 ----
13/06 ----
20/06 Cássio Polpo
27/06 Aline Andrade