Mais uma realização do grupo/base de pesquisa CNPq/UFRN em
"Lógica, Conhecimento e Ética".
Estão todos convidados!
Tema: Aspectos topológicos da propriedade lógica da compacidade
Palestrante: Giovani Angelo Silva da Nobrega
Data de realização: 25/06/07, 2a-feira, horário 18h30-20h10
Local: sala de reuniões do DIMAp
Tema: Especificações formais (linguagem Z)
Palestrante: Regivan Hugo Nunes Santiago
Data de realização: 26/06/07, 3a-feira, horário T34 (14h55-16h35)
Local: sala 3A2
Tema: Semântica e verificação de programas
Palestrante: Jamille Silva Madureira
Data de realização: 27/06/07, 4a-feira, horário T12 (13h-14h40)
Local: sala 3C3
Tema: Lógica Temporal aplicada à computação
Palestrante: Anderson Paiva Cruz
Data de realização: 28/06/07, 5a-feira, horário T34 (14h55-16h35)
Local: sala 3A2
Tema: Lógica Combinatória e Isomorfismo de Curry-Howard
Palestrante: Gabriel de Medeiros Galvão
Data de realização: 29/06/07, 6a-feira, horário T12 (13h-14h40)
Local: sala 3C3
Nenhum comentário:
Postar um comentário