| |
6
FEVEREIRO 2002
Sala 2.4
Departamento de Matemática
|
LÓGICA
E COMPUTAÇÃO LC1
16:30-17:00
Fernando Ferreira, Departamento de Matemática,
FCUL
Princípios de Análise Fraca
RESUMO
17:00-17:30
Isabel Oitavem, Departamento de Matemática,
FCT, Universidade Nova de Lisboa
Caracterizações Implícitas: Uma Abordagem
Comum a Ptime, Lspace e NC
RESUMO
17:30-18:00
Manuel Lameiras Campagnolo, Departamento de Matemática,
Instituto Superior de Agronomia
Funções Reais Recursivas
RESUMO
|
| |
7
FEVEREIRO 2002
Sala
2.4
Departamento de Matemática
|
LÓGICA
E COMPUTAÇÃO LC2
14:30-15:00
José Júlio Alferes, Departamento de
Informática, FCT, Universidade Nova de Lisboa
"Updates" de Programas em Lógica
RESUMO
15:00-15:30
Sabine Babette Broda, Departamento de Ciência
de Computadores, FCUP
Geração de Habitantes Normais em TA_lambda
RESUMO
15:30-16:00
Paulo Mateus, Departamento de Matemática,
IST
Protocolos de Computação Segura
RESUMO
|
