Dia 10 |
|
| 10.30 | Café |
11.00 |
Fibring: Completeness preservation?, Amílcar Sernadas (IST) |
| 12.00 | Modular construction of deductive systems, Pedro Quaresma (U Coimbra) |
| 12.30 | Almoço |
| 14.30 | Trios, Carlos Caleiro (IST) |
| 15.00 | Subtipagem por construtores, Maria João Frade (U Minho) |
| 15.30 | Verificação da correcção do RSA em Coq, José Bacelar (U Minho) |
| 16.00 | Café |
| 16.30 | Functional processes, Luís Barbosa (U Minho) |
| 17.00 | Institution of hybrid systems, Hugo Lourenço (IST) |
| 17.30 | Fibring of Algebraic Semantics?, Cristina Sernadas (IST) |
| 18.00 | Intervalo |
| 18.30 | Reunião do projecto LOGCOMP |
| 19.30 | Jantar |
Dia 11 |
|
| 09.00 | Reticulados de congruências completas, Jorge Picado (U Coimbra) |
| 09.30 | Quantales of concurrent observations, Pedro Resende (IST) |
| 10.00 | Abordagem categorial ao desenho de sistemas, Maria Antónia Lopes (U Lisboa) |
| 10.30 | Café |
| 11.00 | Product completions and totality, Lurdes Sousa (IP Viseu) |
| 11.30 | Adjunctions in precategories, Paulo Mateus (IST) |
| 12.00 | Pseudofunctors and internal categories, Manuela Sobral (U Coimbra) |
| 12.30 | Almoço |
| 14.30 | Generalizations of problems of dynamic algebras, Maria do Céu Pinto (U Coimbra) |
| 15:00 | Cálculo de morfismos de redução de tipos hierárquicos de dados, José Nuno Oliveira (U Minho) |
| 15.30 | Café |
| 16:00 | Reunião do projecto ACL |
| Local: | Hotel D. Luís, Coimbra |
| Apoios: | Projecto Praxis PCEX/P/MAT/46/96 (ACL) |
| Projecto Praxis LOGCOMP | |
| Centro de Matemática da Universidade de Coimbra / FCT | |
| Departamento de Matemática da Universidade de Coimbra |
O Hotel D. Luís está situado na saída Sul de Coimbra, à direita da Estrada Nacional 1 para quem segue na direcção Norte-Sul, já um pouco fora da cidade (é demasiado longe para o acesso a pé).