Problemas em Aberto em Lógica Computacional e em Lógica Probabilística -- Seminário LIAMF dia 12/03/2009

---------- Forwarded message ----------
From: Marcelo Finger <mfinger AT ime.usp.br>
Date: 2009/3/10
Subject: Seminário LIAMF dia 12/03/2009


------------------------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-------------------------------------------------------------------------------------------

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.

Todos são benvindos!
--
 Marcelo Finger
 Departamento de Ciencia da Computacao
 Instituto de Matematica e Estatistica | home page:
 Universidade de Sao Paulo             |   www.ime.usp.br/~mfinger
 Rua do Matao, 1010                    | Tel: +55 11 3091 6310, 3091 6135
 05508-090    Sao Paulo, SP     Brazil | Fax: +55 11 3091 6134, 3814 4135