Encontro


Projectos ESCoLa-ACL



26-27 Janeiro 1998






Dia 26
11.00 - 11.30 Uma semântica denotacional do TAO
A. Porto (UNL)
11.35 - 12.05 Uma abordagem à especificação modular, executável e verificável de sistemas
concorrentes com mobilidade
L. Caires (UNL)
12.10 - 12.40 Uma categoria de espaços ultra-métricos para a semântica da concorrência
L. Monteiro (UNL)
14.30 - 15.00 Multicolimites e limites conexos
L. Sousa (IPV)
15.05 - 15.35 The algebra of factorization systems on Heyting algebras
D. Zangurashvili (Universidade Técnica da Geórgia)
15.40 - 16.10 Sobre categorias fibradas
M. Sobral (UC)
16.15 - 17.00

 Pausa para café
17.00 Reunião do projecto ESCoLa





Dia 27
09.00 - 09.30 Lógica observacional
P. Resende (IST)
09.35 - 10.05 Álgebra de tipos para cálculo de objectos concorrentes
A. Ravara (IST) e V. Vasconcelos (FCUL)
10.10 - 10.40 Verificação de propriedades em sistemas híbridos lineares
H. Lourenço e A. Sernadas (IST)
10.45 - 11.00

 Pausa para café
11.00 - 11.30 Fibrilação de lógicas com termos
A. Sernadas, C. Sernadas e C. Caleiro (IST)
11.35 - 12.05 Adjunções entre sistemas lógicos
C. Caleiro, C. Sernadas e A. Sernadas (IST)
12.05 - 12.40 Noções alternativas de morfismo de sistemas lógicos
M. J. Coutinho e C. Sernadas (IST)
14.30 - 15.00 Raciocínio abdutivo sobre especificações de objectos
P. Gouveia e C. Sernadas (IST)
15.05 - 15.35 Lógica temporal ramificada versus cálculo de situações
J. Ramos e A. Sernadas (IST)
15.40 - 16.10 Composição categorial de sistemas estocásticos
P. Mateus, A. Sernadas e C. Sernadas (IST)
16.15 - 17.00

 Pausa para café
17.00 Reunião do projecto ACL



Local: Sala 2.3
Departamento de Matemática da Universidade de Coimbra


Apoios: Projectos Praxis 2/2.1/MAT/46/94 e PCEX/P/MAT/46/96
Centro de Matemática da Universidade de Coimbra / FCT
Departamento de Matemática da Universidade de Coimbra