Título: Problemas em Aberto em Lógica Computacional e em Lógica Probabilística
Palestrante:  Marcelo Finger

Data:   12/03/2009, 14h00
Local:  Sala 241A, IME-USP

Resumo:
--------------

  Neste primeiro seminário do ano, apresentaremos uma série de problemas em
  aberto relacionados a temas de Lógica Computacional e Lógica e
  Probabilidade.  Muitos destes problemas rondam o problema central P=?NP, mas
  formam uma série de outras frentes de pesquisa em melhoria da eficiência
  na resolução de problemas em áreas tão diversas como IA, sistemas
  distribuídos, algoritmos, etc.

  Este seminário destina-se aos alunos que estão procurando temas de
  pesquisa e/ou estão querendo saber dos diversos desafios na área.