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

Segundo semestre de 2012

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

Edição anterior: primeiro semestre de 2012




Data
Palestrante Título
23/08 Luis Gustavo Rocha Vianna Planejamento Probabilístico com Técnicas de Monte Carlo
30/08 ECAI
6/09 Semana da Patria
13/09 Ruy de Queiroz Problemas Decidíveis e Problemas Indecidíveis - O Legado de Alan Turing
20/09 Fábio de Oliveira Franco Processo de Decisão Markoviano com Transição Valorada por Conjunto modelado como um Jogo Alternado de Soma Zero
27/09 Jose David Curado Dois Modelos de Tipicalidade em Lógicas de Descrição
4/10 Guilherme Silveira Uma introdução prática ao Machine Learning na Educação: o próximo passo da educação online?
11/10 Aline Andrade Uma proposta de revisão para sistemas de transição modais de Kripke
18/10 Palestra no CCE Armando Geller Multiagent modeling and simulation for and with stakeholders in areas affected by armed conflict
25/10 SBIA/ENIA
8/11 Renata Wassermann Revisão de Crenças e Computação
15/11 Feriado
29/11 Anna-Lena Lamprecht Constraint-driven design of bioinformatics workflows
6/12 Auditório Jacy Monteiro Barry Cooper Alan Turing and the Computing Revolution: Ten Big Ideas that Changed the World