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

Segundo semestre de 2014

Seminários realizados às quintas-feiras, das 14h às 15h30, no Auditório do CCSL.

Edição anterior: primeiro semestre de 2014




Data
Palestrante Título
28/8 Márcio Fernando Stabile Junior Anytime Jason, Uma Ferramenta Para Programação de Agentes com Garantia de Tempo
4/9
12/9 Joe Halpern
18/9
25/9
2/10
9/10
16/10
23/10
30/10
6/11
13/11
20/11
27/11