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

primeiro semestre de 2005

Seminários realizados às segundas-feiras, das 16hs às 17:30hs, na sala 243A.

Coordenadores: Renata Wassermann e Marcelo Finger

Edição anterior: segundo semestre de 2004


 
 
 
Data
  Palestrante Título Material disponível
14/03  Geral  Reunião com todos os alunos do LIAMF  
21/03  Semana Santa Não haverá seminário  
28/03  Paulo Santos (FEI)  Visão Cognitiva em movimento e ação  
04/04  Fábio Cozman  Lógica probabilística com independencia  
11/04 José Perez  O uso de geração automática de planos na composição automática de Serviços Web  
18/04  Adolfo Neto  Um Provador de Teoremas Multi-Estratégia  
25/04  CANCELADO    
02/05  Anarosa Brandão Uma abordagem baseada em conhecimento para especificação e verificação de modelos de design de sistemas multi-agentes  
09/05  Richard Benjamin  Curso de Web Semantics -- ao longo da semana  
16/05 Nao há seminário    
23/05  FLAVIO SOARES CORREA da SILVA  AGENT-BASED ARCHITECTURES FOR AMBIENT INTELLIGENCE  
30/05 Marcelo Finger  Um Modelo do Funcionamento da Mente  
06/06  Fábio Kepler  Investigações sobre dependências de longa distância usando cadeias de Markov de alcance variável na etiquetagem de textos  
13/06  Felipe Trevizan  Planejamento Probabilístico  
20/06  Seminário Cancelado    
27/06